Formal abstract architecture for use case specifications

Proceedings - 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2004

Volumn , Issue , 2004, Pages 203-210

  Rysavy, Ondrej ^a   Bures, Frantisek ^a  

^a BRNO UNIVERSITY OF TECHNOLOGY   (Czech Republic)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT ARCHITECTURE; ENCODING FUNCTIONS; LOGICAL SYMBOLS; USE CASE SPECIFICATIONS;

BOOLEAN ALGEBRA; COMPUTER SIMULATION; ENCODING (SYMBOLS); FUNCTIONS; OBJECT ORIENTED PROGRAMMING; SEMANTICS; SET THEORY;

COMPUTER ARCHITECTURE;

EID: 7744228280     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECBS.2004.1316700     Document Type: Conference Paper

References (15)

1. M. Abadi and L. Cardelli. A Theory of Objects. Springer-Verlag, New York, 1995.
2. R. J. Back, L. Petre, and I. P. Paltor. Formalising uml use cases in the refinement calculus. Technical report, Turku Centre for Computer Science, 1999.
3. M. Bugliesi and S. M. Pericas-Geertsen. Type inference for variant object types. Inform. & Comput., 2000.
4. G. Buttler, P. Grongo, and F. Khendek. A z specification of use cases: A preliminary report. In Proc. 4th Asia-Pacific Software Engineering and International Computer Science Conference, 1997.
5. R. S. et.al. UML Semantics. OMG document ad/97-08-02, 1997.
6. D. Firesmith, B. Henderson-Sellers, and I. Graham. Open Modeling Language Reference Manual. Sigs, 1997.
7. I. Graham. Migrating to Object Technology. Addison-Wesley, 1996.
8. W. Grieskamp and M. Lepper. Using use cases in executable z. In Proc. 3rd IEEE International Conference on Formal Engineering Methods, 2000.
9. W. Grieskamp, M. Lepper, W. Schulte, and N. Tillman. Testable use cases in the abstract state machine language. In Proc. APAQS'01, Asia-Pacific Conference on Quality Software, 2001.
10. I. Jacobson, M. Christerson, P. Jonsson, and G. Overgaard. Object-Oriented Software Engineering, A Use Case Driven Approach. Addison-Wesley, 1992.
11. J. Kuusela and J. Z. M. Awad. Object-Oriented Technology for Real-time System: A Practical Approach Using OMT and Fusion. Prentice-Hall, 1996.
12. P. G. Larsen, J. Fitzerald, and T. Brookes. Applying formal specification in industry. IEEE Computer, 1996.
13. G. Overgaard and K. Palmkvist. A formal approach to use cases and their relationships. In Proc. UML 98, 1998.
14. B. Regnell, M. Andersson, and J. Bergstrand. A hierarchical use case model with graphical representation. In Proc. ECBS'96, IEEE International Symposium and Workshop on Engineering of Computer-Based Systems, 1996.
15. O. Rysavy and M. Sveda. A minimal formal language for object-oriented specifications. In Proc. FSCBS'03, 2003.