3943 search results - page 115 / 789 » Architecture-Level Requirements Specification |
171
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...
157
click to vote
OTM
2004
Springer
15 years 12 months ago
2004
Springer
This paper addresses the issue of improving the performance of memory management for real-time Java applications, building upon the RealTime Specification for Java (RTSJ). This spe...
193
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
: There are many different ways to specify the requirements of complex software systems, and the optimal methods often vary according to the problem domain. We apply and compare tw...
170
click to vote
APN
2000
Springer
15 years 10 months ago
2000
Springer
: In this paper, we suggest a requirement engineering process that generates a user interface prototype from scenarios and yields a formal specification of the system in form of a ...
156
click to vote
EHCI
2004
15 years 7 months ago
2004
Ubiquitous computing requires a multitude of devices to have access ame services. Abstract specifications of user interfaces are designed to separate the definition of a user inter...