Mehmet Bülent Özcan

According to our database1, Mehmet Bülent Özcan authored at least 9 papers between 1994 and 1998.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1998
Use of Executable Formal Specifications in User Validation.
Softw. Pract. Exp., 1998

Visualisation of Executable Formal Specifications for User Validation.
Proceedings of the Services and Visualization: Towards User-Friendly Design, 1998

Requirements Validation based on the Visualization of Executable Formal Specifications.
Proceedings of the COMPSAC '98, 1998

1997
Towards Quality Requirements via Animated Formal Apecifications.
Ann. Softw. Eng., 1997

Cognitive Dimensions Applied to Modifiability within an Integrated Prototyping Environment.
Proceedings of the 9th Annual Workshop of the Psychology of Programming Interest Group, 1997

1996
Interchanging Specifications and Implementations in Evolutionary Prototyping.
Softw. Pract. Exp., 1996

Integration of Software Tools in Software Engineering Education.
Proceedings of the Ninth Conference on Software Engineering Education, 1996

1995
A visual requirements validation environment for the reverse engineering of formal specifications from rapid prototypes.
ACM SIGSOFT Softw. Eng. Notes, 1995

1994
Validating and evolving software requirements in a systematic framework.
Proceedings of the First IEEE International Conference on Requirements Engineering, 1994


  Loading...