Sciweavers

1908 search results - page 99 / 382
» How to teach software modeling
Sort
View
AMAST
2000
Springer
15 years 2 months ago
The Algebra of Multi-tasking
Modelling multi-tasking behaviour is an important phase of real-time system design. It is shown how task scheduling principles can be captured in a CCS-based process algebra via ex...
Colin J. Fidge
ISOTAS
1993
15 years 1 months ago
Maintaining Behavioral Consistency during Schema Evolution
We examine the problem of how to ensure behavioral consistency of an object-oriented system after its schema has been updated. The problem is viewed from the perspective of both t...
Paul L. Bergstein, Walter L. Hürsch
WSC
1998
14 years 11 months ago
Simulation of Manufacturing Systems
This paper discusses how simulation is used to design new manufacturing systems and to improve the performance of existing ones. Topics to be discussed include: manufacturing issu...
Averill M. Law, Michael G. McComas
ASWSD
2004
Springer
15 years 3 months ago
Validation of Component and Service Federations in Automotive Software Applications
Abstract The automotive domain is one of the most promising areas for component and service technologies in the near future. Vehicles are increasingly becoming integrated systems w...
Luciano Baresi, Carlo Ghezzi
WSC
1998
14 years 11 months ago
Stretching the Boundaries of Simulation Software
SLX is Wolverine Software's "next generation" simulation language. SLX builds on the strengths of Wolverine's GPSS/H (Crain 1997). It provides powerful simulat...
James O. Henriksen