1799 search results - page 154 / 360 » The Logic of Correctness in Software Engineering |
187
click to vote
FMCO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
142
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Exception handling patterns can raise the abstraction level of processes, facilitating their writing and understanding. In this paper, we identify several useful, general purpose e...
162
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
Source code search is an important activity for programmers working on a change task to a software system. As part of a larger project to improve tool support for finding informa...
170
click to vote
ICST
2008
IEEE
16 years 26 days ago
2008
IEEE
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed with the aim of improving the functional software cor...
165
click to vote
COMPSAC
2005
IEEE
16 years 2 days ago
2005
IEEE
Web services and service-oriented architecture are emerging technologies that are changing the way we develop and use computer software. Due to the standardization of web services...