803 search results - page 63 / 161 » Building Formal Models for Software Requirements |
131
click to vote
CBSE
2009
Springer
15 years 10 months ago
2009
Springer
An integrated model-based development approach has to capture the relationship between requirements, design, and implementation models. In the requirements engineering phase, the m...
118
Voted
CLEIEJ
2010
15 years 1 months ago
2010
Formalizing and institutionalizing software processes has become a necessity in recent years requiring the management and enhancement of software production and, at the same time,...
126
click to vote
EUROMICRO
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents a modular modelling methodology to formulate the timing behaviour of real-time distributed component-based applications. It allows to build real-time models of...
143
Voted
CAISE
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Multi-Agent Systems (MAS) architectures are gaining popularity over traditional ones for building open, distributed or evolving software. To formally define system archit...
139
Voted
UML
2001
Springer
15 years 8 months ago
2001
Springer
: Agile Modeling (AM) is a practice-based methodology for effective modeling of software-based systems. Where the Unified Modeling Language (UML) defines a subset of the modeling t...