478 search results - page 37 / 96 » Behavioral Specification of Real-Time Requirements |
JOT
2008
13 years 7 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
UML
1998
Springer
13 years 11 months ago
1998
Springer
The use of scenarios has become a popular technique for requirements elicitation and specification building. Since scenarios capture only partial descriptions of system behavior, ...
HCI
2009
13 years 5 months ago
2009
In smart environments interactive assistants can support the user's daily life by being ubiquitously available through any interaction device that is connected to the network....
DSVIS
2008
Springer
13 years 9 months ago
2008
Springer
In recent years, advances in software tools have made it easier to analyze interactive system specifications, and the range of their possible behaviors. However, the effort involve...
ETFA
2006
IEEE
13 years 11 months ago
2006
IEEE
This paper deals with the IEC 61499 standard. A function block (FB) is an event triggered component and an application is a distributed FBs network on several devices. We consider...