1481 search results - page 10 / 297 » Enriching the Software Development Process by Formal Methods |
158
click to vote
ACISICIS
2007
IEEE
15 years 11 months ago
2007
IEEE
Web Service (WS) technology represents a fundamental shift in the way web applications are developed for e-business. It is becoming the next paradigm to deploy business services o...
183
click to vote
IFIP
2007
Springer
15 years 11 months ago
2007
Springer
In global software development (GSD) projects, distributed teams collaborate to deliver high-quality software. Project managers need to control these development projects, which in...
119
click to vote
ISPW
2009
IEEE
15 years 11 months ago
2009
IEEE
It is usual for work completed at one point in a software development process to be revisited, or reworked, at a later point. Such rework is informally understood, but if we hope t...
119
click to vote
MODELS
2007
Springer
15 years 11 months ago
2007
Springer
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
163
click to vote
ISOLA
2010
Springer
15 years 3 months ago
2010
Springer
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...