Towards a Graphical Tool for Refining User to System Requirements

Electronic Notes in Theoretical Computer Science

Volumn 211, Issue C, 2008, Pages 147-157

  Autili, Marco ^a   Pelliccione, Patrizio ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

Graphical Formalisms; Requirements Definition; Software Architectures

Indexed keywords

ABSTRACTING; COMPUTER AIDED SOFTWARE ENGINEERING; PROBLEM SOLVING; REQUIREMENTS ENGINEERING; SOFTWARE ARCHITECTURE; UNIFIED MODELING LANGUAGE;

GRAPHICAL FORMALISMS; GRAPHICAL TOOLS; SEQUENCE DIAGRAMS;

GRAPHICAL USER INTERFACES;

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

References (19)

1. M. Autili, P. Inverardi, and P. Pelliccione. A scenario based notation for specifying temporal properties. In 5th International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'06), Shanghai, China, May 27, 2006
2. Bernardo M., and Inverardi P. Formal Methods for Software Architectures, Tutorial book on Software Architectures and Formal Methods. SFM-03:SA Lectures. LNCS 2804 (2003)
3. J. Buchi. On a decision method in restricted second order arithmetic. In International Congress on Logic, Method and Philosophical Sciences, 1960
4. Charmy Project. Charmy web site (February 2004). http://www.di.univaq.it/charmy
5. Damm W., and Harel D. LSCs: Breathing life into message sequence charts. Formal Methods in System Design 19 1 (2001) 45-80
6. M.B. Dwyer, G.S. Avrunin, and J.C. Corbett. Patterns in property specifications for finite-state verification. In ICSE, pages 411-420, 1999
7. Garlan D. Software Architecture. Encyclopedia of Software Engineering (2001), John Wiley & Sons
8. Hähnle R., Johannisson K., and Rantac A. An authoring tool for informal and formal requirements specifications. FASE'02 (2002), Springer-Verlag, London, UK 233-248
9. Haugen Ø., and Stølen K. STAIRS - steps to analyze interactions with refinement semantics. In: Stevens P., Whittle J., and Booch G. (Eds). UML 2003 - The Unified Modeling Language. Model Languages and Applications. 6th International Conference, San Francisco, CA, USA, October 2003. LNCS volume 2863 (2003), Springer 388-402 Proceedings
10. K. Johannisson. Formal and Informal Software Specifications. PhD thesis, C. Technology and Göteborg Univ., SE-412 96 Göteborg, Sweden, 2005
11. Marelly R., Harel D., and Kugler H. Specifying and executing requirements: the play-in/play-out approach. OOPSLA'02: Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, s ystems, languages, and applications (2002), ACM Press, New York, NY, USA 84-85
12. Object Management Group (OMG). Unified Modeling Language (UML): Superstructure version 2.0, final adopted specification (02/08/2003)
13. PSC home page: (2005). http://www.di.univaq.it/psc2ba
14. Robertson S., and Robertson J. Mastering the Requirements Process (1999), Addison-Wesley, Harlow chapter 6
15. M. Shaw and P. Clements. A Field Guide to Boxology: Preliminary Classification of Architectural Styles for Software Systems. In COMPSAC97, 21st Int. Computer Software and Applications Conference, 1997
16. Sommerville I. Software engineering. (7th ed.) (2004), Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA
17. H. Störrle. Semantics of Interactions in UML 2.0. In VLFM'03 Intl. Ws. Visual Languages and Formal Methods, at HCC'03, Auckland, NZ, 2003
18. van Lamsweerde A. From system goals to software architecture. Formal Methods for Software Architectures. LNCS 2804 (2003)
19. X. Zhu, N. Maiden, and P. Pavan. Scenarios: Bringing requirements and architectures together. In 2nd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, 2003