1481 search results - page 221 / 297 » Enriching the Software Development Process by Formal Methods |
129
click to vote
SAC
2009
ACM
15 years 10 months ago
2009
ACM
In this paper we propose a passive conformance testing technique applied to a Mobile ad hoc network (MANET) routing protocol, OLSR, that is characterized by a dynamically changing...
126
click to vote
JCDL
2005
ACM
15 years 9 months ago
2005
ACM
The process of authoring document-centric XML documents in humanities disciplines is very different from the approach espoused by the standard XML editing software with the data-c...
139
click to vote
RISE
2004
Springer
15 years 9 months ago
2004
Springer
Exception mechanism is important for the development of robust programs to make sure that exceptions are handled appropriately at run-time. In this paper, we develop a dynamic exce...
129
click to vote
OOPSLA
2004
Springer
15 years 9 months ago
2004
Springer
Programmers tend to understand programs by thinking of concrete examples. Example Centric Programming seeks to add IDE support for examples throughout the process of programming. ...
126
click to vote
WIRTSCHAFTSINFORMATI
2007
15 years 5 months ago
2007
Software evolution is an essential concept underlying the engineering of corporate portals. Due to the complexity of such systems, it requires great effort and is not advisable to...