Sciweavers

1652 search results - page 11 / 331
» Integration in Real PCF
Sort
View
85
Voted
ISORC
2007
IEEE
15 years 7 months ago
Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java
Andy J. Wellings, Alan Burns, Osmar Marchi dos San...
133
Voted
ADAEUROPE
2007
Springer
15 years 7 months ago
Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
Matteo Bordin, Tullio Vardanega
ERSHOV
2003
Springer
15 years 6 months ago
Integration of Functional and Timed Testing of Real-Time and Concurrent Systems
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
Victor V. Kuliamin, Alexandre Petrenko, Nick V. Pa...