56 search results - page 4 / 12 » Phase Automaton for Requirements Scenarios |
EUROMICRO
2005
IEEE
15 years 3 months ago
2005
IEEE
The guaranty of meeting the timing constraints during the design phase of real-time component-based embedded software has not been realized. To satisfy real-time requirements, we ...
ENTCS
2008
14 years 9 months ago
2008
To provide formal foundations to current (web) services technologies, we put forward using COWS, a process calculus for specifying, combining and analysing services, as a uniform ...
INTERSPEECH
2010
14 years 4 months ago
2010
It is crucial for many methods of inverse filtering that the time domain information of the glottal source waveform is known, e.g. the location of the instant of glottal closure. ...
93
Voted
CAI
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. This paper introduces the model-based software development lifecycle model SMA--the Smyle Modeling Approach--which is centered around Smyle. Smyle is a dedicated learning...
FSEN
2009
Springer
15 years 1 months ago
2009
Springer
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus...