832 search results - page 1 / 167 » Declarative Specification of Software Architectures |
KBSE
1997
IEEE
13 years 9 months ago
1997
IEEE
AVI
2000
13 years 6 months ago
2000
Declarative models play an important role in most software design activities, by allowing designs to be constructed that selectively abstract over complex implementation details. ...
DSML
2008
13 years 6 months ago
2008
: Current best-practices for defining Domain-Specific Modeling Languages call for metamodeling techniques, which do not take into account the future use of such languages in multiv...
ICSE
2007
IEEE-ACM
14 years 5 months ago
2007
IEEE-ACM
This paper presents Kato, a tool that implements a novel class of optimizations that are inspired by program slicing for imperative languages but are applicable to analyzable decl...
TSE
1998
13 years 4 months ago
1998
—Scenarios are increasingly recognized as an effective means for eliciting, validating, and documenting software requirements. This paper concentrates on the use of scenarios for...