Sciweavers

742 search results - page 135 / 149
» Formal Grammar for Java
Sort
View
POPL
2005
ACM
14 years 8 months ago
Environmental acquisition revisited
In 1996, Gil and Lorenz proposed programming language constructs for specifying environmental acquisition in addition to inheritance acquisition for objects. They noticed that in ...
Richard Cobbe, Matthias Felleisen
ICSE
2004
IEEE-ACM
14 years 7 months ago
A Tool for Writing and Debugging Algebraic Specifications
Despite their benefits, programmers rarely use formal specifications, because they are difficult to write and they require an up front investment in time. To address these issues,...
Johannes Henkel, Amer Diwan
EDOC
2008
IEEE
14 years 2 months ago
MDD4SOA: Model-Driven Service Orchestration
Service-Oriented Architectures (SOAs) have become an important cornerstone of the development of enterprise-scale software applications. Although a range of domain-specific langua...
Philip Mayer, Andreas Schroeder, Nora Koch
IWPC
2008
IEEE
14 years 2 months ago
Ensuring Well-Behaved Usage of APIs through Syntactic Constraints
Libraries are the most widespreaded form of software reuse. In order to properly use a library API, its clients should fulfill a series of (many times implicit) assumptions made ...
Martin Feilkas, Daniel Ratiu
CSMR
2007
IEEE
14 years 2 months ago
The Reality of Libraries
Libraries provide implementation for the concepts of a particular domain. When programmers use a library, they do not work any more with the real-world concepts but with their imp...
Daniel Ratiu, Jan Jürjens