1760 search results - page 184 / 352 » A System to Mark Programs Automatically |
144
click to vote
ICST
2009
IEEE
15 years 1 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
175
click to vote
POPL
2011
ACM
14 years 6 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
138
click to vote
HICSS
2008
IEEE
15 years 9 months ago
2008
IEEE
Proposed and developed is the language Service Composition (SC) CoJava, which extends the programming language Java with (1) a modular service composition framework; (2) an extens...
186
click to vote
AAIP
2009
15 years 4 months ago
2009
The development of software engineering has had a great deal of benefits for the development of software. Along with it came a whole new paradigm of the way software is designed a...
163
click to vote
CORR
2002
Springer
15 years 3 months ago
2002
Springer
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evalu...