5961 search results - page 309 / 1193 » Design Science and Software Engineering |
140
click to vote
SIGADA
2005
Springer
16 years 5 days ago
2005
Springer
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML f...
178
click to vote
AOSD
2007
ACM
15 years 8 months ago
2007
ACM
Composing web services using current web service composition languages (such as BPEL) requires a large amount of in-depth knowledge. This paper introduces a service creation envir...
174
click to vote
COMPSAC
2008
IEEE
15 years 6 months ago
2008
IEEE
Model-driven engineering proposes to develop software systems by first creating an executable model of the system design and then transforming this model into an implementation. T...
177
click to vote
ICSM
1997
IEEE
15 years 11 months ago
1997
IEEE
Software evolution is the most costly and time consuming software development activity. Yet software engineering research is predominantly concerned with initial development. MORA...
154
click to vote
EUROSYS
2010
ACM
16 years 3 months ago
2010
ACM
In this paper, we propose a management framework for protecting large computer systems against operator mistakes. By detecting and confining mistakes to isolated portions of the ...