Sciweavers

1700 search results - page 138 / 340
» Specifying and implementing refactorings
Sort
View
UPP
2004
Springer
15 years 10 months ago
Higher-Order Chemical Programming Style
The chemical reaction metaphor describes computation in terms of a chemical solution in which molecules interact freely according to reaction rules. Chemical solutions are represen...
Jean-Pierre Banâtre, Pascal Fradet, Yann Rad...
ECBS
2010
IEEE
151views Hardware» more  ECBS 2010»
15 years 10 months ago
Generating Test Plans for Acceptance Tests from UML Activity Diagrams
The Unified Modeling Language (UML) is the standard to specify the structure and behaviour of software systems. The created models are a constitutive part of the software speciļ¬...
Andreas Heinecke, Tobias Brückmann, Tobias Gr...
EDOC
2003
IEEE
15 years 10 months ago
An Extensible Binding Framework for Component-Based Middleware
One of the most significant limitations of current middleware platforms, both commercial and research, is that they typically support only a small, pre-defined, set of fundamental...
Nikos Parlavantzas, Geoff Coulson, Gordon S. Blair
HICSS
2003
IEEE
125views Biometrics» more  HICSS 2003»
15 years 10 months ago
Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
Andreas Ulrich, Hesham Hallal, Alexandre Petrenko,...
IPPS
2003
IEEE
15 years 10 months ago
An Object Oriented Framework for an Associative Model of Parallel Computation
An object oriented description and framework of the Multiple ASsociative Computing (MASC) model of parallel computation is presented. This description identifies MASC objects and ...
Michael Scherger, Jerry L. Potter, Johnnie W. Bake...