848 search results - page 49 / 170 » A Formal Monitoring-Based Framework for Software Development... |
HCI
2007
13 years 10 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...
ZUM
1997
Springer
14 years 29 days 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...
MKWI
2008
13 years 10 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, ...
SOFSEM
2009
Springer
14 years 5 months 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...
PPPJ
2004
ACM
14 years 2 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...