2774 search results - page 310 / 555 » Query-Driven Program Testing |
122
click to vote
UML
2001
Springer
15 years 6 months ago
2001
Springer
Abstract: A lightweight UML-based software development method for building reliable software systems is proposed. It attempts to combine the coding emphasis of Extreme Programming ...
147
click to vote
CARDIS
2000
Springer
15 years 6 months ago
2000
Springer
This article describes a Java Card programming environment which to a large extent is generated from formal specifications of the syntax and semantics of Java Card, the JCRE (Jav...
113
click to vote
ECRTS
1999
IEEE
15 years 6 months ago
1999
IEEE
We give timed automaton models for a class of Programmable Logic Controller (PLC) applications, that are programmed in a simple fragment of the language Instruction Lists as defin...
124
click to vote
TOOLS
1997
IEEE
15 years 6 months ago
1997
IEEE
Software design patterns describe proven solutions to recurring software design problems. Knowledge of these patterns increases designers’ abilities, leads to cleaner and more e...
POPL
1994
ACM
15 years 6 months ago
1994
ACM
This paper discusses call forwarding, a simple interprocedural optimization technique for dynamically typed languages. The basic idea behind the optimization is straightforward: n...