Multiview: Requirements Modeling and Formalisation
Resumo
Este artigo não possui resumo.
Palavras-chave:
Software Engineering, Requirements, Case
Referências
G. Booch. Object-Oriented Analysis and Design With Applications. The Benjamin/Cunnings Publishing Company, Inc., Redwood City, CA (USA), 1994.
G. Booch and J. Rumbaugh. Unified Method For Object Oriented Development - Documentation Set, Version 0.9. Rational Software Coorporation, 1996.
J. Castro. The process of requirements formalisation : The formlab project. In Proceedings of Information Systems Analysis and Synthesis - ISAS'95, Focus Symposium, Sth International Symposium on SYstems Rescarch, Informatics and Cybernetics, pages 01-05, August 1995. Baden-Baden, Germany.
J. Castro and A, Finkelstein. VSCS: An Object Oriented Method for Requirements Elicitation and Formalisation. Technical Report Deliverable NFR/WP2.2/1C/R/002/A, Imperial College, Department of Computing, Formal Requirement Specification TECHNIQUES (FOREST) Research Project, October 1991. 107 pages.
J. Castro, C. Gautreau, and M. Toranzo. Multiview: An environment for requirements elicitation and formalisation. In Proceedings of International Conference on Information Systems Analysis and Synthesis - ISAS'96, pages 161-168, July 1996. Orlando, USA.
J. Castro, G. Gautrenu, and M. Toranzo. Multiview: An integrated environment to support requiremente elicitation and formalisation. In Proceedings of XVI Congress of the Brasilian Computing Society, XXIII Seminar on Integrated Hardware and Software (SEMISH'96 ), pages 445-456, August 1996. Recife, Brasil.
J. Castro, C. Gautreau, and M. Toranto. Tool suport for requirements formalisation. In Proceedings of the ACM SIGSOFT Viewpoint 96: International Workshop on Multiple Perspective Software Developments, pages 202-206, October 1996. San Francisco, USA.
J. Castro, C. Gautreau, and M. Toranzo. Towards an environment to support requirements formalisation. In Proceedings of X Brasilian Symposium on Software Engineering, pages 189-206, October 1996. São Carlos, Brasil.
D. Coleman, P. Arnold, S. Bodoff, and C. Dollin. Object-Oriented Development: The FUSION Method. Prentice. Hall, 1994.
T. Flecher and J. Hunt. Software Enginnering and CASE. McGraw-Hill, Inc, 1993.
S. Kent, T. Maibaum, and W. Quirk. Formally specifying temporal constraints and error recovery. In Proceedings of IEEE International Symposium on Requirements Engineering - RE93, pages 208-215, January 1993.
P. Loucopoulos and V, Karakostas. System Requirements Engineering. McGraw-Hill, Inc, 1995.
J. Rumbaugh, M. Blaha, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice-Hall International, Englewood Cliffs, NJ(USA), 1991.
M. D. Ryan, J. Fiadeiro, and T. Maibaum. Sharing actions and attributes in modal action logic. In T. Ito and A. Meyer, editors, Theoretical Aspects of Computer Software. Springer Verlag, 1991
S. Shlaer and S. J. Mellor, Object-Oriented Systems Analysis: Modeling the World in data. Yourdon Press, Englewood Cliffs, N.J., 1988.
G. Booch and J. Rumbaugh. Unified Method For Object Oriented Development - Documentation Set, Version 0.9. Rational Software Coorporation, 1996.
J. Castro. The process of requirements formalisation : The formlab project. In Proceedings of Information Systems Analysis and Synthesis - ISAS'95, Focus Symposium, Sth International Symposium on SYstems Rescarch, Informatics and Cybernetics, pages 01-05, August 1995. Baden-Baden, Germany.
J. Castro and A, Finkelstein. VSCS: An Object Oriented Method for Requirements Elicitation and Formalisation. Technical Report Deliverable NFR/WP2.2/1C/R/002/A, Imperial College, Department of Computing, Formal Requirement Specification TECHNIQUES (FOREST) Research Project, October 1991. 107 pages.
J. Castro, C. Gautreau, and M. Toranzo. Multiview: An environment for requirements elicitation and formalisation. In Proceedings of International Conference on Information Systems Analysis and Synthesis - ISAS'96, pages 161-168, July 1996. Orlando, USA.
J. Castro, G. Gautrenu, and M. Toranzo. Multiview: An integrated environment to support requiremente elicitation and formalisation. In Proceedings of XVI Congress of the Brasilian Computing Society, XXIII Seminar on Integrated Hardware and Software (SEMISH'96 ), pages 445-456, August 1996. Recife, Brasil.
J. Castro, C. Gautreau, and M. Toranto. Tool suport for requirements formalisation. In Proceedings of the ACM SIGSOFT Viewpoint 96: International Workshop on Multiple Perspective Software Developments, pages 202-206, October 1996. San Francisco, USA.
J. Castro, C. Gautreau, and M. Toranzo. Towards an environment to support requirements formalisation. In Proceedings of X Brasilian Symposium on Software Engineering, pages 189-206, October 1996. São Carlos, Brasil.
D. Coleman, P. Arnold, S. Bodoff, and C. Dollin. Object-Oriented Development: The FUSION Method. Prentice. Hall, 1994.
T. Flecher and J. Hunt. Software Enginnering and CASE. McGraw-Hill, Inc, 1993.
S. Kent, T. Maibaum, and W. Quirk. Formally specifying temporal constraints and error recovery. In Proceedings of IEEE International Symposium on Requirements Engineering - RE93, pages 208-215, January 1993.
P. Loucopoulos and V, Karakostas. System Requirements Engineering. McGraw-Hill, Inc, 1995.
J. Rumbaugh, M. Blaha, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice-Hall International, Englewood Cliffs, NJ(USA), 1991.
M. D. Ryan, J. Fiadeiro, and T. Maibaum. Sharing actions and attributes in modal action logic. In T. Ito and A. Meyer, editors, Theoretical Aspects of Computer Software. Springer Verlag, 1991
S. Shlaer and S. J. Mellor, Object-Oriented Systems Analysis: Modeling the World in data. Yourdon Press, Englewood Cliffs, N.J., 1988.
Publicado
15/10/1997
Como Citar
CASTRO, Jaelson F. B.; TORANZO, Marcos A.; GAUTREAU, Christian J.; BUENO, Marcio A. S..
Multiview: Requirements Modeling and Formalisation. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 11. , 1997, Recife/PE.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1997
.
p. 481-485.
DOI: https://doi.org/10.5753/sbes.1997.24068.
