822 search results - page 141 / 165 » Debugging Aspect-Enabled Programs |
UML
2005
Springer
14 years 1 months ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
SIGSOFT
2004
ACM
14 years 29 days ago
2004
ACM
Many software applications have a component based on database management systems in which information is generally handled through SQL queries embedded in the application code. Wh...
AFP
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. Programming GUIs with conventional GUI APIs is notoriously tedious. In these notes we present the GEC toolkit in which the programmer can create user interfaces without a...
ICSOC
2004
Springer
14 years 28 days ago
2004
Springer
Service-based approaches are widely used to integrate heterogenous systems. Web services allow for the definition of highly dynamic systems where components (services) can be dis...
TACAS
2004
Springer
14 years 27 days ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...