3514 search results - page 292 / 703 » Evolving Specification Engineering |
150
click to vote
CODES
1998
IEEE
15 years 11 months ago
1998
IEEE
Telecommunication systems are often specified in the standardized languages SDL and MSc. These languages allow only the specification of pure functional aspects. To remedy this pr...
181
click to vote
ISSTA
1996
ACM
15 years 10 months ago
1996
ACM
We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor. The design is cast, along with some expected properties...
171
click to vote
SEKE
1994
Springer
15 years 10 months ago
1994
Springer
This paper presents a model of estimating the similarity of software artifacts so as to promote their analogical reuse. The model permits comparisons between artifacts developed a...
194
click to vote
APSEC
2001
IEEE
15 years 10 months ago
2001
IEEE
is a mechanism for abstraction and encapsulation of languages. It aims to make the best support on the definition and implementation of new languages, especially DSLs (Domain Spec...
211
click to vote
WETICE
1995
IEEE
15 years 10 months ago
1995
IEEE
Although there are many quality domains in which ideas and concepts about quality are represented, these representations are often informal. The TOVE Quality Ontology is the forma...