Viewcharts: a behavioral specification language for complex systems
| Autor: | David Alex Lamb, G.H. MacEwen, Ayaz Isazadeh |
|---|---|
| Rok vydání: | 2002 |
| Předmět: |
Functional specification
Computer science Programming language business.industry Formalism (philosophy) Software requirements specification System requirements specification Specification language computer.software_genre Formal methods Language Of Temporal Ordering Specification Formal specification Software engineering business computer |
| Zdroj: | Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems. |
| DOI: | 10.1109/wpdrts.1996.557683 |
| Popis: | The paper introduces a formalism called Viewcharts, for specification and composition of software behavioral views. The objective is software behavioral requirements specification independent of implementation. The paper claims that behavioral requirements of large scale and complex systems can be described formally as compositions of simple behavioral views. The Viewcharts formalism is presented to demonstrate the behavioral views and support the claim. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|