Sciweavers

1448 search results - page 158 / 290
» From Requirements to Code Revisited
Sort
View
PTS
2008
109views Hardware» more  PTS 2008»
15 years 5 months ago
Runtime Verification of C Programs
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
Klaus Havelund
WICSA
2001
15 years 5 months ago
Annotating Reusable Software Architectures with Specialization Patterns
An application framework is a collection of classes implementing the shared architecture of a family of applications. It is shown how the specialization interface ("hot spots...
Markku Hakala, Juha Hautamäki, Kai Koskimies,...
WSC
1997
15 years 5 months ago
Integration of Simulation with Enterprise Models
The Enterprise Modeling Framework (EMF) consists of a methodology for modeling the three major facets of an enterprise, viz., function, information and dynamics. Its main goal is ...
Krishnamurthy Srinivasan, Sundaresan Jayaraman
CORR
2008
Springer
88views Education» more  CORR 2008»
15 years 3 months ago
Online Sensor Testing through Superposition of Encoded Stimulus
Online monitoring remains an important requirement for a range of microsystems. The solution based on the injection of an actuating test stimulus into the bias structure of active...
Norbert Dumas, Zhou Xu, Kostas Georgopoulos, R. Jo...
ENTCS
2006
184views more  ENTCS 2006»
15 years 3 months ago
Scannerless Boolean Parsing
Scannerless generalized parsing techniques allow parsers to be derived directly from unified, declarative specifications. Unfortunately, in order to uniquely parse existing progra...
Adam Megacz