Sciweavers

21379 search results - page 458 / 4276
» The profession of IT - Evolutionary system development
Sort
View
SAFECOMP
2004
Springer
16 years 14 days ago
Using Formal Methods in a Retrospective Safety Case
Today the development of safety-critical systems is to a large extent guided by standards that make demands on both development process and system quality. Before the advent of the...
Lars-Henrik Eriksson
SERP
2003
15 years 8 months ago
Evaluating the Potential for Integrating the OPEN and Tropos Metamodels
Abstract Methodologies involves both process elements and product elements. The OPEN Process Framework (OPF) focusses largely on process elements in the context of object-oriented ...
Brian Henderson-Sellers, Paolo Giorgini, Paolo Bre...
PERCOM
2005
ACM
16 years 21 days ago
Applying Active Space Principles to Active Classrooms
Recent developments in pervasive computing have enabled new features for collaboration and instrumentation in educational technology systems. An infrastructure for the integration...
Chad Peiper, David Warden, Ellick Chan, Roy H. Cam...
AIA
2007
15 years 8 months ago
Plan-based assistance in the webbrowser firefox
We present a developed function library named pbifSystem which will allow for remote control of the webbrowser Firefox. Instead of controlling the browser through general pc input...
T. A. Bertz, Peter Reiss
WISES
2003
15 years 8 months ago
A Simulation Architecture for Time-Triggered Transducer Networks
— Steadily growing microcontroller capabilities at an ever decreasing cost per operation encourage the development of more extensive and smarter applications in the domain of emb...
Martin Schlager