848 search results - page 49 / 170 » A Formal Monitoring-Based Framework for Software Development... |
127
Voted
HCI
2007
15 years 5 months ago
2007
Participative software systems are a new class of software systems whose development does not end at the deployment but requires continued user participation and contribution. They...
164
Voted
ZUM
1997
Springer
15 years 7 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
129
Voted
MKWI
2008
15 years 5 months ago
2008
: This paper examines possibilities and consequences of introducing variability with respect to pricing, accounting, and way of payment into software product lines for developers, ...
107
Voted
SOFSEM
2009
Springer
16 years 13 days ago
2009
Springer
Microcontroller software typically consists of a few hundred lines of code only, but it is rather different from standard application code. The software is highly hardware and pla...
98
Voted
PPPJ
2004
ACM
15 years 9 months ago
2004
ACM
To enable analysis and visualization of phased behavior in Java programs and to facilitate optimization development, we have implemented a freely-available, phase analysis framewo...