803 search results - page 36 / 161 » Building Formal Models for Software Requirements |
114
Voted
ICSM
2007
IEEE
15 years 8 months ago
2007
IEEE
Libre (free / open source) software development is a complex phenomenon. Many actors (core developers, casual contributors, bug reporters, patch submitters, users, etc.), in many ...
112
Voted
CAISE
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Today’s large-scale computing systems are deployed in open, changing and unpredictable environments. To operate reliably, such systems should be able to adapt to new ci...
118
Voted
NJC
2006
15 years 1 months ago
2006
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...
103
Voted
FMCO
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This paper provides an overview of an approach to coalgebraic modelling and refinement of state-based software components, summing up some basic results and introducing a...
148
click to vote
CMOT
2011
14 years 5 months ago
2011
Artificial Intelligence has contributed (formal) design models and software support tools to application areas such as architecture, engineering and software design. This paper exp...