Sciweavers

3801 search results - page 421 / 761
» An Approach to Modeling Software Safety
Sort
View
FDL
2005
IEEE
16 years 11 days ago
Meta Modelling of Embedded Systems using Active Databases
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
Dieter Monjau, Mathias Sporer
SOFSEM
2004
Springer
16 years 3 days ago
A Model of Versioned Web Sites
In this paper we present a model of versioned web sites which is aimed at building a web site configuration. The web site configuration is a consistent version of the web site an...
Mária Bieliková, Ivan Noris
IUI
1997
ACM
15 years 11 months ago
The Pedagogical Design Studio: Exploiting Artifact-Based Task Models for Constructivist Learning
Intelligentlearning environments that support constructivism shouldprovideactivelearningexperiencesthatarecustomized for individuallearners. To do so, they must determine learner ...
James C. Lester, Patrick J. Fitzgerald, Brian A. S...
ISSRE
2000
IEEE
15 years 11 months ago
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
José Luis Fernández Alemán, J...
FMSD
2006
83views more  FMSD 2006»
15 years 6 months ago
A Framework for Modeling the Distributed Deployment of Synchronous Designs
Synchronous specifications are appealing in the design of large scale hardware and software systems because of their properties that facilitate verification and synthesis. When the...
Luca P. Carloni, Alberto L. Sangiovanni-Vincentell...