1021 search results - page 56 / 205 » Design of a Specification Language by Abstract Syntax Engine... |
179
click to vote
ASWEC
2005
IEEE
15 years 11 months ago
2005
IEEE
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
148
click to vote
WER
2004
Springer
15 years 11 months ago
2004
Springer
At present, the early phase of Requirements Engineering is a new research area in the Software Engineering field. This phase is concerned with the analysis of the organizational c...
157
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
stract Semantics of Additive Aspects by Translation S. B. Sanjabi C.-H. L. Ong Oxford University Computing Laboratory We study the denotational semantics of an aspect calculus by ...
154
click to vote
FASE
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. API error-handling specifications are often not documented, necessitating automated specification mining. Automated mining of error-handling specifications is challenging...
167
click to vote
ESTIMEDIA
2003
Springer
15 years 11 months ago
2003
Springer
In order to extensively explore design space one has to specify a n a very abstract level. Transforming a specification into a correct implementation is usually an error prone tas...