Statecharts: A visual formalism for complex systems
Science of Computer Programming
Object oriented design with applications
Object oriented design with applications
Handbook of theoretical computer science (vol. B)
Object-oriented modeling and design
Object-oriented modeling and design
A calculus of mobile processes, I
Information and Computation
Compositional refinement of interactive systems
Journal of the ACM (JACM)
On Constructing Large Software Systems
Proceedings of the IFIP 12th World Computer Congress on Algorithms, Software, Architecture - Information Processing '92, Volume 1 - Volume I
Simulation of Specification Statements in Hoare Logic
MFCS '96 Proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science
Advanced Component Interface Specification
TPPP '94 Proceedings of the International Workshop on Theory and Practice of Parallel Programming
Equations for Describing Dynamic Nets of Communicating Systems
Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification
Compositional Specification of Embedded Systems with Statecharts
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
A Comparison of Statecharts Variants
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Documentation Driven Development for Complex Real-Time Systems
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
The development of large software systems consists of a sequence of modeling tasks. It requires the modeling and description of the application domain, software requirements, software architecture, software components, their internal structure, and their implementation. Technically, in software engineering, we work with a development method and description techniques with modeling, refinement, and implementation concepts. Today, much of the modeling is carried out by informal text and graphical description techniques. The development is organized in a development process and supported by CASE tools. In this paper, we show how mathematics can provide a scientific foundation for the modeling aspects, description techniques, and development methods of software engineering. Such a scientific foundation leads to a deeper understanding of the development process and to a basis for a more powerful tool support.