Sciweavers

2339 search results - page 105 / 468
» Models and Tools for Mulan Applications
Sort
View
MODELLIERUNG
2004
15 years 7 months ago
CASE Support and Model-Based Development
ion from the implementation they use. Some tools rather consequently use this abstract model; others at least partly keep the implementational view, modeling components, e.g., by o...
Bernhard Schätz, Jan Romberg, Oscar Slotosch,...
ICWS
2010
IEEE
15 years 7 months ago
WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition
This paper presents a methodology and a set of tools for the modelling, validation and testing of Web service composition, conceived and developed within the French national projec...
Ana R. Cavalli, Tien-Dung Cao, Wissam Mallouli, El...
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 10 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
KBSE
1997
IEEE
15 years 10 months ago
Interactive Component-Based Software Development with Espresso
There are a number of competing component models in use today. Most are language-independent, but also platform-dependent and not designed to support a tool-based development para...
T. Faison
WSC
1997
15 years 7 months ago
Using SiMPLE++ for Improved Modeling Efficiencies and Extending Model Life Cycles
SiMPLE++ is an object-oriented simulation environment for modeling all types of manufacturing, logistics and service systems. AESOP’s SiMPLE++ is a fully object-oriented impleme...
David R. Kalasky, Gerald A. Levasseur