3837 search results - page 71 / 768 » Concurrent Engineering support in Software Engineering |
134
click to vote
AOSE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The agent-oriented software engineering methodology Tropos offers a structured development process and supporting tools for developing complex, distributed systems. The ...
129
click to vote
SEKE
2009
Springer
15 years 9 months ago
2009
Springer
Abstract—Business modeling for service engineering aims at flexible transformation of business logic into software code. The ISE framework is an interdisciplinary approach which...
121
click to vote
ICSM
1994
IEEE
15 years 7 months ago
1994
IEEE
The user interface is an integral part of any application. This is especially true for reverse engineering environments, since the understanding process depends both on the user&#...
COMPSAC
2005
IEEE
15 years 8 months ago
2005
IEEE
Parallel changes are a basic fact of modern software development. Where previously we looked at prima facie interference, here we investigate a less direct form that we call seman...
114
click to vote
FSTTCS
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. This paper presents the first formal verification of the RicartAgrawala algorithm [RA81] for distributed mutual exclusion of an arbitrary number of nodes. It uses the Tem...