Sciweavers

15885 search results - page 12 / 3177
» The Modest Software Engineer
Sort
View
SFM
2004
Springer
14 years 2 months ago
Embedded Software Analysis with MOTOR
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Kla...
DEXA
2003
Springer
114views Database» more  DEXA 2003»
14 years 1 months ago
A Lesson for Software Engineering from Knowledge Engineering
Knowledge engineering has developed fine tools for maintaining the integrity of knowledge bases. These tools may be applied to the maintenance of conventional programs particularly...
John K. Debenham
ESEC
1997
Springer
14 years 9 days ago
Cryptographic Verification of Test Coverage Claims
The market for software components is growing, driven on the "demand side" by the need for rapid deployment of highly functional products, and on the "supply side&q...
Premkumar T. Devanbu, Stuart G. Stubblebine