Communicating sequential processes
Communicating sequential processes
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Object oriented design with applications
Object oriented design with applications
Object-oriented modeling and design
Object-oriented modeling and design
Real-time object-oriented modeling
Real-time object-oriented modeling
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Specification and development of interactive systems: focus on streams, interfaces, and refinement
A Calculus of Communicating Systems
A Calculus of Communicating Systems
ARTS '97 Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software: Transformation-Based Reactive Systems Development
Development of a distributed system applied to teaching and learning
Proceedings of the 8th ACM SIGPLAN workshop on ERLANG
Analysis of techniques for documenting user requirements
ICCSA'12 Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part IV
| Hi-index | 0.00 |
When engineering software intensive systems the quality of the resulting product depends strictly on the quality of the models used explicitly or implicitly in the engineering process. A rich family of such models has been developed in recent years. We discuss some of these models and describe the requirements for system modeling theories.