Sciweavers

582 search results - page 23 / 117
» Generative and Incremental Approach to Scripting Support Imp...
Sort
View
SE
2008
13 years 9 months ago
Automatic Test Case Generation from UML Models and OCL Expressions
: In this paper, we discuss one approach of automated test case generation from UML models and OCL expressions. We show how to use UML and OCL to support several coverage criteria....
Stephan Weißleder, Dehla Sokenou
CORR
1998
Springer
107views Education» more  CORR 1998»
13 years 7 months ago
Computing Declarative Prosodic Morphology
This paper describes a computational, declarative approach to prosodic morphology that uses inviolable constraints to denote small finite candidate sets which are filtered by a re...
Markus Walther
FTDCS
2004
IEEE
13 years 11 months ago
Platform-Independent Dynamic Reconfiguration of Distributed Applications
The aim of dynamic reconfiguration is to allow a system to evolve incrementally from one configuration to another at run-time, without restarting it or taking it offline. In recen...
João Paulo A. Almeida, Marten van Sinderen,...
EUROMICRO
1996
IEEE
13 years 12 months ago
Efficient Program Composition on Parix by the Ensemble Methodology
A message passing program composition methodology, called Ensemble, applied for Parix is presented. Ensemble overcomes the implementation problems and complexities in developing a...
John Yiannis Cotronis
UML
1998
Springer
14 years 10 hour ago
Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams
The use of scenarios has become a popular technique for requirements elicitation and specification building. Since scenarios capture only partial descriptions of system behavior, ...
Ismaïl Khriss, Mohammed Elkoutbi, Rudolf K. K...