803 search results - page 60 / 161 » Building Formal Models for Software Requirements |
129
click to vote
SAC
2005
ACM
15 years 9 months ago
2005
ACM
In ubiquitous computing era, the notion of context-awareness will play an important role. An application should be aware of its operating context for supporting and enriching huma...
101
click to vote
IUI
1993
ACM
15 years 7 months ago
1993
ACM
Researchers in the field of intelligent interfaces have concentrated on building architectures, and have placed little emphasis on defining appropriate models. As a result, this...
109
click to vote
WER
2007
Springer
15 years 9 months ago
2007
Springer
Business modeling is an activity of the Requirements Engineering that involves a knowledge process of the organization and provides a specific business domain view. On this proces...
135
Voted
SIGSOFT
2009
ACM
16 years 4 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
126
Voted
ICST
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...