1481 search results - page 86 / 297 » Enriching the Software Development Process by Formal Methods |
128
Voted
IFM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
143
click to vote
APSEC
2000
IEEE
15 years 7 months ago
2000
IEEE
For the past 40 years, the techniques, processes and methods of software development have been dominated by supply-side issues, giving rise to a software industry oriented towards...
169
Voted
CMOT
2011
14 years 7 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...
133
click to vote
FM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
110
click to vote
IWPSE
2003
IEEE
15 years 8 months ago
2003
IEEE
It is remarkable to think that even without any interest in finding suitable methods and concepts that would allow complex software systems to evolve and remain manageable, the e...