950 search results - page 110 / 190 » Software model checking with SPIN |
116
Voted
KBSE
2003
IEEE
15 years 8 months ago
2003
IEEE
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
132
Voted
ENTCS
2008
15 years 2 months ago
2008
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...
98
Voted
EWSPT
1995
Springer
15 years 6 months ago
1995
Springer
In this paper, we advocate decentralised process modelling and suggest that understanding and modelling the development processes of individual development participants is the key ...
158
Voted
SAC
2010
ACM
15 years 9 months ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...
122
Voted
APSEC
2004
IEEE
15 years 6 months ago
2004
IEEE
The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, w...