Generating a prototype from a UML model of system requirements

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3347, Issue , 2004, Pages 255-265

  Li, Xiaoshan ^a   Liu, Zhiming ^a   He, Jifeng ^b   Long, Quan ^c  

^a UNIVERSITY OF MACAU   (Macao)

^b UNITED NATIONS UNIVERSITY   (Macao)

^c PEKING UNIVERSITY   (China)

Author keywords

Code generation; Formal specification; Prototype; Requirements analysis

Indexed keywords

REQUIREMENTS ENGINEERING; UNIFIED MODELING LANGUAGE; DISTRIBUTED COMPUTER SYSTEMS; FORMAL SPECIFICATION;

CLASS MODELS; CODEGENERATION; EXECUTABLES; FORMALISATION; MODEL OF SYSTEMS; PRE AND POST CONDITIONS; PROTOTYPE; REQUIREMENT ANALYSIS; SYSTEM REQUIREMENTS; UML MODEL; ATOMIC ACTIONS; CLASS MODELING; CODE GENERATION; LIBRARY SYSTEMS; REQUIREMENTS ANALYSIS; USE CASE MODEL;

FORMAL SPECIFICATION; REQUIREMENTS ENGINEERING;

EID: 33746674241     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30555-2_30     Document Type: Article

References (16)

1. A. Cockburn. Writing Effective Use Cases. Pearson Education, 2001.
2. D. Collins. Designing Object-Oriented User Interfaces. Benjamin/Cummings, 1995.
3. D. Harel and R. Marelly. Come, Let's Play, Scenario - Based Programming Using LSCs and the Play - Engine. Springer-Verlag, 2003.
4. C.A.R. Hoare and J. He. Unifying theories of programming. Prentice - Hall, 1998.
5. I. Jacobson, G. Booch, and J. Rumbaugh. The Unified Software Development Process. Addison-Wesley, 1999.
6. C. Larman. Applying UML and Patterns. Prentice - Hall International, 2001.
7. R.C. Lee. UML and C++: a practical guide to object - oriented development, 2nd. Prentice Hall, 2001.
8. X. Li, Z. Liu, and J. He. Formal and use - case driven requirement analysis in UML. In COMPSAC01, pages 215-224, Illinois, USA, October 2001. IEEE Computer Society.
9. Z. Liu. Object - oriented software development in UML. Technical Report UNU/IIST Report No. 228, UNU/HST, P.O. Box 3058, Macau, SAR, P.R. China, March 2001.
10. Z. Liu, X. Li, and J. He. Using transition systems to unify uml models. In ICFEM2002, in LNCS 2495, Shanghai, China. Springer - Verlag.
11. B. Meyer. Object - oriented Software Construction (2nd Edition). Prentice Hall PTR, 1997 .
12. R. Mitchell and J. McKim. Design by Conctract by Example. Addison - Wesley, 2002.
13. Reinhold Plosch. Contracts, Scenarios and Prototypes: An Integrated Approach to High Quality Software. Springer - verlag, 2004.
14. M.F. Smith. Software Prototyping: Adoption, Pratice and Management. McGraw-Hill, 1991.
15. I. Sommerville. Software Engineering (6th Edition). Addison - Wesley, 2000.
16. J. Wanner and A. Kleppe. The Object Constraint Language: precise modeling with UML. Addison-Wesley, 1999.