1700 search results - page 85 / 340 » Specifying and implementing refactorings |
130
click to vote
ICFEM
2000
Springer
15 years 8 months ago
2000
Springer
Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...
155
click to vote
SIGCSE
1991
ACM
15 years 8 months ago
1991
ACM
The development, specification, and use of a loop invariant are useful and underutilized tools in writing code to solve a problem or implement an algorithm. Invariants are especi...
141
click to vote
ASM
2008
ASM
15 years 6 months ago
2008
ASM
On-board Fault Detection, Isolation and Recovery (FDIR) systems are considered to ensure the safety and to increase the autonomy of spacecrafts. They shall be carefully designed an...
107
click to vote
ISIM
2007
15 years 5 months ago
2007
Executable prototypcs generatcd on early stages of software development bring many benefits, first of all they help to develop and validate systcm's spccification. The paper p...
128
click to vote
FLAIRS
2006
15 years 5 months ago
2006
Context can be seen as a paradigm aiming to improve user interaction with software. For Web applications in particular, the issues of content explosion and technological constrain...