2253 search results - page 311 / 451 » An Approach to Specifying Software Frameworks |
130
click to vote
IJCAI
1989
15 years 5 months ago
1989
Usually, semantics of inheritance networks is specified indirectly through a translation into one of the standard logical formalisms. Since such translation involves an algorithmi...
121
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
137
click to vote
ISSRE
2006
IEEE
15 years 10 months ago
2006
IEEE
Aspect-oriented software development is gaining popularity with the adoption of languages such as AspectJ. Testing is an important part in any software development, including aspe...
135
click to vote
MIDDLEWARE
2004
Springer
15 years 9 months ago
2004
Springer
In order for middleware systems to be adaptive, their properties and services need to support a wide variety of application-specific policies. However, application developers and ...
175
click to vote
ASE
1998
15 years 4 months ago
1998
Software process improvement requires high level formalisms for describing project-specific, organizational and quality aspects. These formalisms must be convenient not only for ...