Sciweavers

3514 search results - page 99 / 703
» Evolving Specification Engineering
Sort
View
SOCO
2010
Springer
15 years 2 months ago
Event-Specific Software Composition in Context-Oriented Programming
Context-oriented programming (COP) introduces dedicated abstractions for the modularization and dynamic composition of crosscutting context-specific functionality. While existing C...
Malte Appeltauer, Robert Hirschfeld, Hidehiko Masu...
SIGSOFT
2008
ACM
16 years 5 months ago
Specification of an exception handling system for a replicated agent environment
Exception handling and replication are two mechanisms that increase software reliability. Exception handling helps programmers control situations in which the normal flow of a pro...
Christophe Dony, Chouki Tibermacine, Christelle Ur...
ICSE
2008
IEEE-ACM
16 years 5 months ago
MontiCore: a framework for the development of textual domain specific languages
In this paper we demonstrate a framework for efficient development of textual domain specific languages and supporting tools. We use a redundance-free and compact definition of le...
Bernhard Rumpe, Hans Grönniger, Holger Krahn,...
CIBSE
2009
ACM
15 years 11 months ago
A Domain Specific Language to Generate Web Applications
Nowadays building a web application is still a complex process that requires a big effort to get several tasks done. This article presents a domain specific language aimed to simpl...
Juan José Cadavid, Juan Bernardo Quintero, ...
ICST
2008
IEEE
15 years 11 months ago
Testing Java Components based on Algebraic Specifications
This paper presents a method of component testing based on algebraic specifications. An algorithm for generating checkable test cases is proposed. A prototype testing tool called ...
Bo Yu, Liang Kong, Yufeng Zhang, Hong Zhu