Sciweavers

4799 search results - page 417 / 960
» Model Based Requirements Engineering for Embedded Software
Sort
View
CSSC
2008
75views more  CSSC 2008»
15 years 6 months ago
Statistical Certification of Software Systems
Common software release procedures based on statistical techniques try to optimise the trade-off between further testing costs and costs due to remaining errors. We propose new so...
Alessandro Di Bucchianico, Jan Friso Groote, Kees ...
IUI
1997
ACM
15 years 11 months ago
Generating Web-Based Presentations in Spatial Hypertext
Presentations frequently include material appropriated from external sources; they may incorporate tabular data from published reports, photographs from books, or clip art from pu...
Frank M. Shipman III, Richard Furuta, Catherine C....
CODES
2003
IEEE
16 years 3 days ago
RTOS scheduling in transaction level models
the level of abstraction in system design promises to enable faster exploration of the design space at early stages. While scheduling decision for embedded software has great impa...
Haobo Yu, Andreas Gerstlauer, Daniel Gajski
ARCS
2004
Springer
16 years 6 days ago
Root Cause Analysis as a Guide to SRE Methods
Abstract: Which Software Reliability Engineering (SRE) methods should be applied during the various phases of the lifecycle of a product? The answer given here centres on learning ...
Timm Grams
EXPERT
2006
94views more  EXPERT 2006»
15 years 6 months ago
A Canonical Agent Model for Healthcare Applications
o address the need for canonical abstraction, we've adopted software engineering's concept of signatures--a technique for defining software patterns or invariant procedur...
John Fox, David Glasspool, Sanjay Modgil