Sciweavers

1077 search results - page 89 / 216
» Introducing Software Engineering by means of Extreme Program...
Sort
View
PLDI
2010
ACM
15 years 9 months ago
Finding low-utility data structures
Many opportunities for easy, big-win, program optimizations are missed by compilers. This is especially true in highly layered Java applications. Often at the heart of these misse...
Guoqing Xu, Nick Mitchell, Matthew Arnold, Atanas ...
134
Voted
MPC
2004
Springer
147views Mathematics» more  MPC 2004»
15 years 10 months ago
Extended Static Checking for Java
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
Greg Nelson
PROCOMET
1998
15 years 5 months ago
Extended static checking
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
K. Rustan M. Leino
98
Voted
IUI
2004
ACM
15 years 10 months ago
An intelligent dialogue for online rule based expert systems
This paper describes a concept for creating free configurable, intelligent behaving web dialogues for rule based expert systems. Free configurable is meant to indicate, that the d...
Sascha Mertens, Marius Rosu, Yuliadi Erdani
151
Voted
IEE
2008
115views more  IEE 2008»
15 years 4 months ago
Faithful mapping of model classes to mathematical structures
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
Ádám Darvas, Peter Müller