4258 search results - page 465 / 852 » Languages and Interactive Software Development |
130
click to vote
OOPSLA
2007
Springer
15 years 11 months ago
2007
Springer
This article describes the design and use of the CUTE C++ testing framework and its integration into the Eclipse C++ Development Tooling. Unit testing supports code quality and is...
167
click to vote
APLAS
2003
ACM
15 years 10 months ago
2003
ACM
We describe origami programming methodology based on constraint functional logic programming. The basic operations of origami are reduced to solving systems of equations which desc...
149
click to vote
CAISE
1995
Springer
15 years 8 months ago
1995
Springer
, methods, techniques and tools. High level languages, structured programming, abstract data types, formal methods, non-procedural programming, object orientation, CASE, support en...
164
Voted
ASM
2010
ASM
15 years 7 months ago
2010
ASM
Abstract. Software development in B and Event-B generates proof obligations that have to be discharged using theorem provers. The cost of such developments therefore depends direct...
146
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
The Annotation Graph Toolkit is a collection of software supporting the development of annotation tools based on the annotation graph model. The toolkit includes application progr...