2977 search results - page 414 / 596 » Programming Environments for Novices |
ISN
2000
Springer
14 years 1 months ago
2000
Springer
The demand for a great variety of sophisticated telecommunications services with multimedia characteristics is increasing. This trend highlights the need for the efficient creation...
TACAS
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...
USM
2000
14 years 1 months ago
2000
Jini is an infrastructure built on top of the mobile code facilities of the Java programming language enabling clients and services to spontaneously engage in arbitrary usage scena...
ER
1995
Springer
14 years 1 months ago
1995
Springer
Abstract. This paper presents techniques for reverse engineering of relational database applications. The target of such an effort is the definition of a fully equipped object-orie...
TYPES
1995
Springer
14 years 1 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...