3 search results - page 1 / 1 » An Automatic Approach to Transform CafeOBJ Specifications to... |
SERP
2003
13 years 6 months ago
2003
A software specification is a fundamental work product that represents user’s requirements and developers can use it to further develop a software system. A software specificati...
ECMDAFA
2008
Springer
13 years 6 months ago
2008
Springer
Model driven development suggests to make models the main artifact in software development. To get executable models in most cases code generation to a "traditional" prog...
EUROPAR
2008
Springer
13 years 6 months ago
2008
Springer
Developing a distributed application for mobile resource constrained devices is a difficult and error-prone task that requires awareness of several system-level details (e.g., faul...