1251 search results - page 34 / 251 » A Method for Component-Based Software and System Development |
130
click to vote
MODELS
2010
Springer
15 years 27 days ago
2010
Springer
An MDSD process is often organised as transformation chain. This can threaten the Separation of Concerns (SoC) principle, because information is replicated in, scattered over, and ...
GI
2005
Springer
15 years 8 months ago
2005
Springer
: This is an ongoing project, which is scheduled until 2005. So I decided together with Richard Wang to set up Sup-Projects that could be published earlier. The main objective is t...
108
click to vote
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
By its very nature, software development consists of many knowledge-intensive processes. One of the most difficult to model, however, is requirements elicitation. This paper prese...
118
click to vote
RE
2010
Springer
14 years 9 months ago
2010
Springer
The impact of non-functional requirements (NFRs) over software systems has been widely documented. Consequently, cost-effective software production method shall provide means to in...
117
click to vote
FMOODS
2007
15 years 3 months ago
2007
Abstract. This paper gives an overview of the KeY approach and highlights the main features of the KeY system. KeY is an approach (and a system) for the deductive verification of ...