1073 search results - page 160 / 215 » Formal Program Development with Approximations |
COMPSAC
2002
IEEE
14 years 18 days ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
ICFP
2010
ACM
13 years 8 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
ICALT
2007
IEEE
14 years 2 months ago
2007
IEEE
Over the years competence-based approaches in the field of formal and non-formal education are becoming more common and appear to offer the opportunity to develop flexible e-train...
HVC
2005
Springer
14 years 1 months ago
2005
Springer
Testing forms a critical part of the development process for large-scale software, and there is growing need for automated tools that can read, represent, analyze, and transform th...
RSP
2003
IEEE
14 years 27 days ago
2003
IEEE
The paper shows the outlines of the SLAM system and how its design is suitable for automating rapid prototyping. The system includes a very expressive object oriented specificati...