1021 search results - page 19 / 205 » Design of a Specification Language by Abstract Syntax Engine... |
87
Voted
FSTTCS
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
ACSC
2000
IEEE
15 years 2 months ago
2000
IEEE
A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceedi...
178
Voted
POPL
2005
ACM
15 years 11 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
FASE
2008
Springer
15 years 26 days ago
2008
Springer
Abstract. Model-driven development is a field within software engineering in which software artifacts are represented as models in order to improve productivity, quality, and cost ...
SCAM
2005
IEEE
15 years 4 months ago
2005
IEEE
We present a pointer analysis algorithm designed for source-to-source transformations. Existing techniques for pointer analysis apply a collection of inference rules to a dismantl...