803 search results - page 34 / 161 » Building Formal Models for Software Requirements |
ICSE
2001
IEEE-ACM
15 years 6 months ago
2001
IEEE-ACM
The design of complex systems requires powerful mechanisms for modeling state, concurrent events, and real-time behavior; as well as for visualising and structuring systems in ord...
135
click to vote
ICSE
1999
IEEE-ACM
15 years 6 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
109
Voted
SAFECOMP
1998
Springer
15 years 5 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
114
click to vote
IJAOSE
2008
15 years 1 months ago
2008
: Even if Multiagent Systems (MASs) are recognised as an appealing paradigm for designing many computer systems ranging from complex distributed systems to intelligent software app...
119
click to vote
SAC
2010
ACM
14 years 11 months ago
2010
ACM
Software Product Line (SPL) Engineering has to deal with interrelated, complex models such as feature and architecture models, hence traceability is fundamental to keep them consi...