3706 search results - page 98 / 742 » KtSeqC: System Description |
148
click to vote
APSEC
2007
IEEE
16 years 23 days ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
171
click to vote
CAEPIA
2003
Springer
15 years 11 months ago
2003
Springer
ADDS (Approach to Document-based Development of Software) is an approach to the development of applications based on a document-oriented paradigm. According to this paradigm, appli...
164
click to vote
FM
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Using graphical description techniques for formal system development has become a common approach in many tools. Often multiple description techniques are used to represe...
161
click to vote
ICECCS
1997
IEEE
15 years 10 months ago
1997
IEEE
Software architectures can play a role in improving the testing process of complex systems. In particular, descriptions of the software architecture can be useful to drive integra...
156
click to vote
JMM2
2008
15 years 6 months ago
2008
In this article, a human centered approach for interactive face generation is presented. The users of the system are given the possibility to interactively generate faces from verb...