561 search results - page 27 / 113 » VSE: Controlling the Complexity in Formal Software Developme... |
106
click to vote
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
UML2 and SysML try to adopt techniques known from software development to systems engineering. However, the focus has been put on modeling aspects until now and quantitative perfo...
CSMR
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper describes an approach for the migration of supervisory machine control architectures. This migration, from a paradigm based on finite-state machines to a paradigm base...
143
click to vote
AOSE
2000
Springer
15 years 6 months ago
2000
Springer
Software engineers continually strive to develop tools and techniques to manage the complexity that is inherent in software systems. In this article, we argue that intelligent agen...
126
click to vote
FM
1991
Springer
15 years 5 months ago
1991
Springer
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and pro...
112
click to vote
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...