875 search results - page 30 / 175 » Specification Modules for Methodical System Development |
ACSD
2004
IEEE
15 years 1 months ago
2004
IEEE
Over the last 25 years, methods for supervisory control of discrete event systems and methods for submodule construction based on state machine specifications have been developed ...
APSEC
2001
IEEE
15 years 1 months ago
2001
IEEE
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...
SAC
2009
ACM
15 years 2 months ago
2009
ACM
Identification and specification of business requirements are extremely important when development of Enterprise Resource Planning systems (ERPs) take place. It can be stated that...
AMAST
2008
Springer
14 years 11 months ago
2008
Springer
The complexity of specification development and verification of large systems has to be mastered. In this paper a specification of a real case study, a platoon of Cristal vehicles ...
147
click to vote
ESEC
1999
Springer
15 years 2 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...