Sciweavers

1952 search results - page 35 / 391
» Integrating Pair Programming into a Software Development Pro...
Sort
View
FM
1998
Springer
153views Formal Methods» more  FM 1998»
15 years 6 months ago
VSE: Controlling the Complexity in Formal Software Developments
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
Dieter Hutter, Heiko Mantel, Georg Rock, Werner St...
RE
2010
Springer
14 years 9 months ago
Dealing with Non-Functional Requirements in Model-Driven Development
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...
David Ameller, Xavier Franch, Jordi Cabot
SEKE
1992
Springer
15 years 6 months ago
An Iterative-Cyclic Software Process Model
The current state of traditional software development is surveyed and essential problems are investigated on the basis of system theoretical considerations. The concept of optimis...
Matthias Rauterberg
COMPSAC
2008
IEEE
15 years 9 months ago
Transformation of Legacy Software into Client/Server Applications through Pattern-Based Rearchitecturing
In this article, we address the problem of modularizing legacy applications with monolithic structure, primarily focusing on business software written in an objectoriented program...
Sascha Hunold, Matthias Korch, Björn Krellner...
ISOOMS
1994
15 years 6 months ago
A Seamless Model for Object-Oriented Systems Development
Existing approaches to object-oriented system development are poorly integrated in several ways. This inadequate integration is ubiquitous and causes numerous inefficiencies in th...
Stephen W. Liddle, David W. Embley, Scott N. Woodf...