Search Sciweavers | Sciweavers

15888 search results - page 174 / 3178

» Supporting human-intensive systems

click to vote

JTRES
2010
ACM

212views Embedded Systems» more JTRES 2010»

The design of SafeJML, a specification language for SCJ with support for WCET specification

13 years 10 months ago

Download www.cs.ucf.edu

Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...

Ghaith Haddad, Faraz Hussain, Gary T. Leavens

claim paper

Read More »

click to vote

FLAIRS
2000

134views Artificial Intelligence» more FLAIRS 2000»

Formal Software Development in the Verification Support Environment (VSE)

13 years 11 months ago

Download www.aaai.org

The paper presents a survey of the VSE system, a kind of CASE-tool for formal software development. It is a summary of a tutorial presentation describing methodology, formalisms, ...

Dieter Hutter, Georg Rock, Jörg H. Siekmann, ...

claim paper

Read More »

click to vote

HICSS
2009
IEEE

73views Biometrics» more HICSS 2009»

Towards Tool Support for the Configuration of Non-Functional Properties in SPLs

14 years 5 months ago