Precise specification and validation of transactional business software

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn , Issue , 2004, Pages 16-25

  Correa, Alexandre L ^a   Werner, Cláudia M L ^a  

^a FEDERAL UNIVERSITY OF RIO DE JANEIRO   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

OBJECT COSTRAINT LANGUAGE (OCL); PRECISE SPECIFICATION WORKBENCH (PSW); TRANSACTIONAL BUSINESS SOFTWARE; UNIFIED MODELING LANGUAGE (UML);

ANIMATION; COMPUTER PROGRAMMING LANGUAGES; COST EFFECTIVENESS; CUSTOMER SATISFACTION; FEEDBACK; FORMAL LANGUAGES; INDUSTRIAL APPLICATIONS; LIFE CYCLE; PROJECT MANAGEMENT; SOFTWARE PROTOTYPING;

COMPUTER SOFTWARE;

EID: 17044367055     PISSN: 1090705X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICRE.2004.1335650     Document Type: Conference Paper

References (28)

1. th European-Japanese Conference on Information Modelling and Knowledge Bases, pp 181-200, May 1998.
2. J. Cheesman, J. Daniels, UML Components: A Simple Process for Specifying Component-Based Software, Addison Wesley, 2001.
3. A. Cockburn, Writing Effective Use Cases, Addison-Wesley, 2000.
4. D. D'Souza, A. C. Wills, Objects, Components and Frameworks with UML. The Catalysis Approach, Addison Wesley, 1998.
5. rd IEEE International Symposium on Requirements Engineering, pp 160-168, January 1997.
6. R. Elmstrom, P. G. Larsen, P. B. Lassen, "The IFAD VDM-SL Toolbox: A practical approach to formal specifications", ACM SIGPLAN Notices, 29(9): 77-80, 1994.
7. P. Fenkan, H. Gall, M. Jazayeri, "Visual Requirements Validation: Case Study in a Corba-supported environment", Proceedings of the IEEE Joint International Conference on Requirements Engineering (RE'02), pp 81-90, September 2002.
8. P. Heymans and E. Dubois. "Scenario-Based Techniques for Supporting the Elaboration and the Validation of Formal Requirements". Requirements Engineering, 3(4): 202-218, 1998.
9. M. A. Hewitt, PiZA: User Guide. 1997.
10. J. Hörl, B. K. Aichernig, "Validating Voice Communication Requirements Using Lightweight Formal Methods", IEEE Software, 17(3): 21-27, 2000.
11. X. Jia, "A Pragmatic Approach to Formalizing Object Oriented Modeling and Development". Proceedings of the 21st Annual IEEE International Computer Software and Applications Conference, pp 240-245, August 1997.
12. E. Kazmierczak, E., P. Dart, L. Stirling, "Verifying Requirements Through Mathematical Modeling and Animation", International Journal of Software Engineering and Knowledge Engineering, 10(2): 251-273, 2000.
13. G. Kösters, H.-W. Six, M. Winter, "Coupling Use Cases and Class Models as a Means for Validation and Verification of Requirements Specifications". Requirements Engineering, 6(1): 3-17, 2001.
14. G. Kotonya and I. Sommerville "Requirements engineering with viewpoints", Software Requirements Engineering, IEEE Computer Society Press, pp 150-163, 1997.
15. P. Krutchen, The Rational Unified Process: An Introduction - 2nd edition, Addison-Wesley, 2000.
16. B. Meyer, "On Formalism in Specifications", IEEE Software, 2(1): 6-26, 1985.
17. P. G. Neumann, "Only His Only Grammarian Can Only Say What Only He Means", ACM SIGSOFTSoftware Engineering Notes, 9(1): 6, 1986.
18. Objecteering Software, http://www.objecteering.com
19. OMG Object Constraint Language 2, final adopted specification, appendix A - Formal Semantics - http://www.omg.org.
20. OMG Unified Modeling Language Specification - http://www.omg.org.
21. Raphsody software, http://www.ilogix.com
22. M. Richters, M. Gogolla, "Validating UML Models and OCL Constraints", Proceedings of the UML'2000 - The Unified Modeling Language: Advancing the Standard, Third International Conference) LNCS 1939, pp 265-277, October 2000.
23. V. F. A. Santander, J. F. B. Castro, "Deriving Use Cases from Organizational Modeling", Proceedings of the IEEE Joint International Conference on Requirements Engineering (RE'02), pp 32-41, September 2002.
24. R. Soley and the OMG Staff Strategy Group, Model Driven Architecture, available on line: ftp.omg.org/pub/docs/omg/00-11-05.pdf
25. Sun Java Metadata Interface Specification - http://java.sun.com/products/ jmi/collateral.html
26. A. Sutcliffe, "Scenario-based Requirements Engineering", Proceedings of the IEEE Joint International Conference on Requirements Engineering (RE'03), pp 320-329, September 2003.
27. J. Warmer, A. Kleppe, The Object Constraint Language. Getting Your Models Ready for MDA, Addison Wesley, 2003.
28. E. Yu, Modeling Strategic Relationships for Process Reengineering, PhD Thesis, University of Toronto, 1995.