1099 search results - page 57 / 220 » A Formal Approach to Domain-Oriented Software Design Environ... |
166
click to vote
ICSR
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Refinement concepts, such as procedural and data refinement, are among the most important ideas of software engineering. In this paper, we investigate the idea of design ...
162
click to vote
AOSE
2001
Springer
15 years 10 months ago
2001
Springer
We are developing an agent-oriented software development methodology, called Tropos, which integrates ideas from multi-agentsystem technologies and RequirementsEngineering researc...
191
click to vote
CSREAESA
2006
15 years 7 months ago
2006
We present our joint view for efficient development of efficient and dependable ERTS (Embedded Real-Time Systems). This view is based on the three main viewpoints of (1) the softw...
185
click to vote
EMSOFT
2011
Springer
14 years 5 months ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
163
click to vote
ESCIENCE
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper we present a general domain for the analysis of workflows and workflow components based on the notion of a collection of Turing machines sharing a set of tapes. We s...