3943 search results - page 549 / 789 » Architecture-Level Requirements Specification |
200
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...
163
click to vote
FOAL
2008
ACM
15 years 8 months ago
2008
ACM
Aspect Oriented Programming (AOP) has significant potential to separate functionality and cross-cutting concerns. In particular, AOP supports an incremental development process, i...
196
click to vote
BCS
2008
15 years 8 months ago
2008
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
171
click to vote
CIDR
2007
15 years 8 months ago
2007
Event processing will play an increasingly important role in constructing enterprise applications that can immediately react to business critical events. Various technologies have...
163
click to vote
LREC
2010
15 years 8 months ago
2010
This paper gives guidelines of how to create and update Propbank frameset files using a dedicated editor, Cornerstone. Propbank is a corpus in which the arguments of each verb pre...