4245 search results - page 274 / 849 » Integrating Software by Integrating People |
158
click to vote
SOCO
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
171
click to vote
CSL
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Applications in software verification often require determining the satisfiability of first-order formulæ with respect to some background theories. During development...
182
click to vote
ICWE
2004
Springer
16 years 16 hour ago
2004
Springer
Abstract. There is a need to integrate XML schemas, i.e., schemas written in XML Schema, into UML-based software development processes. Not only the production of XML schemas out o...
171
click to vote
LSGRID
2004
Springer
16 years 6 hour ago
2004
Springer
The BRIDGES project is incrementally developing and exploring database integration over six geographically distributed research sites with the framework of a Wellcome Trust biomedi...
179
click to vote
UML
1997
Springer
15 years 10 months ago
1997
Springer
In this paper we show by using the example of UML, how a software engineering method can bene t from an integrative mathematical foundation. The mathematical foundation is given b...