Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Case Studies in Using a Meta-Method for Formal Method Integration
AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
The Rational Unified Process: An Introduction
The Rational Unified Process: An Introduction
Co-Modeling Methodology Designed for RT Architecture Models Integration
ICECCS '07 Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems
UML&AADL '2007 grand challenges
ACM SIGBED Review
A Concrete Syntax for UML 2.1 Action Semantics Using +CAL
ICECCS '08 Proceedings of the 13th IEEE International Conference on on Engineering of Complex Computer Systems
An Emerging Need for a New Software Engineering Method
ICECCS '09 Proceedings of the 2009 14th IEEE International Conference on Engineering of Complex Computer Systems
Hi-index | 0.00 |
The software development process is the main tool of project management. It serves to plan optimally all activities related to the production of software. It is mainly a scheduling policy of these activities which allows to control and to follow them in time.We moved here toward an adaptation of the RUP for real-time systems. First, our approach is to enrich the current process with other phases, secondly, we consider that the requirements of strategic type must be completely identified, specified, verified since they are those which lead all the development; last, we are redefining the lifecycle which puts the models of highest level of abstraction (analysis, architecture) as the main objectives to reach. The enrichment of the development process relates to additional phases and a parallelization of its sub-processes. The software development process that we propose is subdivided into three sub-processes whose principal is led by the strategic use cases. This allows a seamless development, involving intermediate languages to move gradually from the informal to the formal and provides the opportunity to compose languages of different types.