7139 search results - page 774 / 1428 » Language Engineering in Practice |
197
click to vote
SEKE
2005
Springer
16 years 28 days ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
183
click to vote
SIGADA
2005
Springer
16 years 28 days ago
2005
Springer
Recent trends in software re-engineering have included tools to extract program slices from existing Ada procedures. One such tool has already been developed that extracts program...
217
click to vote
UML
2005
Springer
16 years 28 days ago
2005
Springer
In this paper we describe a framework for robust system maintenance that addresses specific challenges of data-centric applications. We show that for data-centric applications, cl...
193
click to vote
ITICSE
2004
ACM
16 years 27 days ago
2004
ACM
In this paper, we present an assignment for a course on Design patterns at the masters level, where students have to adapt an existing program to meet additional requirements. We ...
225
click to vote
SEKE
2004
Springer
16 years 24 days ago
2004
Springer
Multi-Agent Systems (MAS) architectures are gaining popularity for building open, distributed, and evolving software required by systems such as information integration application...