Sciweavers

4349 search results - page 472 / 870
» A Comprehensive Process Model for Studying Software Process ...
Sort
View
APSEC
2007
IEEE
16 years 15 days ago
An Executable UML with OCL-based Action Semantics Language
Executable UML allows precisely describing the softtem at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation. The exe...
Ke Jiang, Lei Zhang, Shigeru Miyake
AVI
2006
15 years 7 months ago
Mixed reality: a model of mixed interaction
Mixed reality systems seek to smoothly link the physical and data processing (digital) environments. Although mixed reality systems are becoming more prevalent, we still do not ha...
Céline Coutrix, Laurence Nigay
211
Voted
SDL
2007
192views Hardware» more  SDL 2007»
15 years 7 months ago
OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
Eric Verhulst, Gjalt G. de Jong
MC
2007
15 years 7 months ago
What Can the Hundred Languages of Children Teach Us?
In this paper we want to make use of the "Hundred Languages of Children" observed by Reggio pedagogue L. Malaguzzi, in order to understand the process of being engaged b...
Andrea Kohlhase, Heidi Schelhowe, Michael Lund
SERP
2004
15 years 7 months ago
Locating Features in Distributed Systems
In distributed systems, just as in conventional software, it is often necessary to locate the software components that implement a particular user feature. Several dynamic analysi...
Sharon Simmons, Dennis Edwards, Norman Wilde