Prototyping System Requirements Model

Electronic Notes in Theoretical Computer Science

Volumn 207, Issue C, 2008, Pages 17-32

  Li, Xiaoshan ^a   Liu, Zhiming ^b  

^a UNIVERSITY OF MACAU   (Macao)

^b UNITED NATIONS UNIVERSITY   (Macao)

Author keywords

Prototype; System Requirements Model; UML

Indexed keywords

DIGITAL LIBRARIES; JAVA PROGRAMMING LANGUAGE; MATHEMATICAL MODELS; MODEL CHECKING; SOFTWARE PROTOTYPING;

AUTOMATIC PROTOTYPE GENERATION; CLASS MODELS; SYSTEM REQUIREMENTS MODELS;

REQUIREMENTS ENGINEERING;

EID: 41849115990     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2008.03.083     Document Type: Article

References (19)

1. Chen X., He J., Liu Z., and Zhan N. A Model of Component-Based Programming. Proc. FSEN07. LNCS 4767 (2007), Springer 191-206
2. Z. Chen, Z. Liu, V. Stolz, A.P. Ravn and N. Zhan. Refinement and Verification in Component-Based Model Driven Design. Technical Report 388, UNU-IIST, P.O. Box 3058, Macau, http://www.iist.unu.edu, 2007
3. Cockburn A. Writing Effective Use Cases (2001), Person Education
4. Coplien J. A Development Process Generative Pattern Language (1995), AT&T
5. Harel D., and Marelly R. Come, Let's Play, Scenario-Based Programming Using LSCs and the Play-Engine (2003), Springer
6. Hoare C.A.R., and He J. Unifying theories of programming (1998), Prentice-Hall
7. Jacobson I., Booch G., and Rumbaugh J. The Unified Software Development Process (1999), Addison-Wesley
8. Larman C. Applying UML and Patterns. 3rd ed. (2005), Prentice-Hall
9. X. Li, Z. Liu, and J. He. Formal and use-case driven requirement analysis in UML. In Proc. COMPSAC01, pp. 215-224, IEEE Computer Society, 2001
10. Li X., Liu Z., He J., and Long Q. Generating a Prototype From a UML Model of System Requirement. Proc. ICDCIT 2004. LNCS 3347 (2004), Springer 255-265
11. Lichter H., Schneider-Hufschmidt M., and Zullighoven H. Prototyping in Industrial Software Projects-Bridging the Gap between Theory and Practice. IEEE Transcactions on Software Engineering 20 (1994) 825-832
12. Liu Z., Li X., and He J. Using transition systems to unify uml Models. Proc. ICFEM2002. LNCS 2495 (2002), Springer 535-547
13. Liu Z., He J., Li X., and Chen Y. A relational Model for Formal Object-Oriented Requirement Analysis in UML. Proc. ICFEM. LNCS 2885 (2003), Springer 640-664
14. Mana Z., and Pnueli A. The temporal framework for concurrent programs. In: Boyer R.S. (Ed). The Correctness Problem in Computer Science (1981), Academic Press 215-274
15. Meyer B. Object-oriented Software Construction. 2nd Ed. (1997), Prentice-Hall
16. Mitcheel R., and McKim J. Design by Conctract by Example (2002), Addison-Wesley
17. Plosch R. Contracts, Scenarios and Prototypes: An Integrated Approach to High Quality Software (2004), Springer
18. Smith M.F. Software Prototyping: Adoption, Practice and Management (1991), McGraw-Hill
19. Sommerville I. Software Engineering. 7th ed. (2004), Addison-Wesley