1988 search results - page 195 / 398 » Engineering formal metatheory |
199
click to vote
TASE
2008
IEEE
16 years 29 days ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
223
click to vote
APSEC
2007
IEEE
16 years 29 days ago
2007
IEEE
Executable UML allows precisely describing the softtem at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation. The exe...
173
click to vote
COMPSAC
2007
IEEE
16 years 28 days ago
2007
IEEE
Building open distributed systems is an even more challenging task than building distributed systems, as their components are loosely synchronised, can move, become disconnected, ...
175
click to vote
ICSM
2007
IEEE
16 years 27 days ago
2007
IEEE
Libre (free / open source) software development is a complex phenomenon. Many actors (core developers, casual contributors, bug reporters, patch submitters, users, etc.), in many ...
168
click to vote
ISPW
2007
IEEE
16 years 26 days ago
2007
IEEE
The formalization of process definitions has been an invaluable aid in many domains. However, noticeable variations in processes start to emerge as precise details are added to pro...