B. Griech

According to our database, B. Griech authored at least 3 papers between 1994 and 1997.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1997

Formal Specification of Dynamic Constraints with the B Method.

Henri Habrias, B. Griech

Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

Towards an Adaptation of the COCOMO Cost Model to the Software Measurement Theory.

Ali Idri, B. Griech, A. El Iraki

Proceedings of the Software Engineering, 1997

1994

Design and implementation of a knowledge-based decision support system for estimating software development work-effort.

B. Griech, Jean-Charles Pomerol

J. Syst. Integr., 1994