Sciweavers

871 search results - page 1 / 175
» Specification of Coordinated Behaviour in the Software Devel...
Sort
View
COORDINATION
2006
Springer
13 years 9 months ago
Synthesizing Concurrency Control Components from Process Algebraic Specifications
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
Edoardo Bontà, Marco Bernardo, Jeff Magee, ...
JUCS
2008
186views more  JUCS 2008»
13 years 5 months ago
A Safe Dynamic Adaptation Framework for Aspect-Oriented Software Development
: One focus of current software development is the re-use of components in the construction of systems. Software Adaptation facilitates the consequent need to adapt these component...
Miguel Ángel Pérez Toledano, Amparo ...
GI
2004
Springer
13 years 10 months ago
A Behavioural Approach for the Coordination of Open Source Software Intermediaries
: An interesting phenomenon in the open source software (OSS) market is the evolution of intermediaries, which provide services to the OSS community. A problem of this business mod...
Heinz Lothar Grob, Frank Bensberg, Firoz Kaderali
ASE
1999
126views more  ASE 1999»
13 years 5 months ago
Behaviour Analysis of Distributed Systems Using the Tracta Approach
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
Dimitra Giannakopoulou, Jeff Kramer, Shing-Chi Che...