Sciweavers

483 search results - page 22 / 97
» Experimental Software Engineering: A Report on the State of ...
Sort
View
ISSTA
2004
ACM
14 years 2 months ago
Verifying process models built using parameterized state machines
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
Barbara Staudt Lerner
IUI
2004
ACM
14 years 2 months ago
BioSonics: sensual explorations of a complex system
Complex systems abound in nature and are becoming increasingly important in artificial systems. The understanding and controlling of such systems is a major challenge. This paper ...
Daniel Bisig
COLING
2008
13 years 10 months ago
Multilingual Alignments by Monolingual String Differences
We propose a method to obtain subsentential alignments from several languages simultaneously. The method handles several languages at once, and avoids the complexity explosion due...
Adrien Lardilleux, Yves Lepage
GTTSE
2007
Springer
14 years 2 months ago
A Landscape of Bidirectional Model Transformations
Model transformations are a key element in the OMG’s Model Driven Development agenda. They did not begin here: the fundamental idea of transforming, automatically, one model into...
Perdita Stevens
UML
2005
Springer
14 years 2 months ago
Tool Support for OCL and Related Formalisms - Needs and Trends
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...
Thomas Baar, Dan Chiorean, Alexandre L. Correa, Ma...