218 search results - page 27 / 44 » A Prototype Tool for the Automatic Generation of Adaptive We... |
OOPSLA
2005
Springer
14 years 26 days ago
2005
Springer
Our goal is to enable rapid production of static and dynamic object models from natural language description of problems. Rapid modeling is achieved through automation of analysis...
JSS
2002
13 years 7 months ago
2002
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of sof...
DMS
2010
13 years 5 months ago
2010
In-lined Reference Monitoring frameworks are an emerging technology for enforcing security policies over untrusted, mobile, binary code. However, formulating correct policy specifi...
IPPS
1999
IEEE
13 years 11 months ago
1999
IEEE
This paper presents the Pure/Epos approach to deal with the high complexity of adaptable operating systems and also to diminish the distance between application and operating syste...
ITNG
2008
IEEE
14 years 1 months ago
2008
IEEE
Achieving a quality software system requires UML designers a good understanding of both design patterns and antipatterns. Unfortunately, UML models for real systems tend to be huge...