Sciweavers

1522 search results - page 9 / 305
» Practical Exception Specifications
Sort
View
MODELS
2009
Springer
16 years 27 days ago
Domain-Specific Languages in Practice: A User Study on the Success Factors
Felienne Hermans, Martin Pinzger, Arie van Deursen
167
Voted
FMICS
2010
Springer
15 years 7 months ago
Practical Issues with Formal Specifications - Lessons Learned from an Industrial Case Study
Michael Altenhofen, Achim D. Brucker
153
Voted
AAAI
2008
15 years 8 months ago
Non-monotonic Temporal Logics that Facilitate Elaboration Tolerant Revision of Goals
Temporal logics are widely used in specifying goals of agents. We noticed that when directing agents, humans often revise their requirements for the agent, especially as they gath...
Chitta Baral, Jicheng Zhao
CARDIS
2006
Springer
114views Hardware» more  CARDIS 2006»
15 years 10 months ago
A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods
Ahead-of-Time and Just-in-Time compilation are common ways to improve runtime performances of restrained systems like Java Card by turning critical Java methods into native code. H...
Alexandre Courbot, Mariela Pavlova, Gilles Grimaud...
ISORC
2002
IEEE
15 years 11 months ago
Asynchronous Transfer of Control in the Real-Time Specification for Java
The Real-Time Specification for Java provides a facility for Asynchronous Transfer of Control based on exception handling and a generalization of the interrupt() method from the T...
Benjamin M. Brosgol, Scott Robbins, Ricardo J. Has...