5477 search results - page 128 / 1096 » Contexts, Domains, and Software |
149
click to vote
ECOOPW
1999
Springer
15 years 11 months ago
1999
Springer
Our industrial partners have difficulties coping with maintenance and reuse of their software applications, due to the hard coded presence of domain knowledge in the implementation...
194
click to vote
JCS
2002
15 years 6 months ago
2002
We describe the use of a domain-specific language (DSL) for expressing critical design values and constraints in an intrusion detection application. Through the use of this specia...
157
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
190
Voted
BALT
2010
15 years 2 months ago
2010
Abstract. This paper addresses the pattern matching problem for model transformation languages. Despite being an NP-complete problem, the pattern matching can be solved efficiently...
178
click to vote
INAP
2001
Springer
15 years 11 months ago
2001
Springer
We describe the software environment that has been developed for the management and support of planning missions in the SAR domain. We have chosen to develop a configurable environ...