1988 search results - page 159 / 398 » Engineering formal metatheory |
139
click to vote
FASE
1998
Springer
15 years 10 months ago
1998
Springer
We reflect on our experiences from work on the design and semantic underpinnings of Extended ML, a specification language which supports the specification and formal development o...
144
click to vote
COMPSAC
1996
IEEE
15 years 10 months ago
1996
IEEE
Cohesion was rst developed to predict properties of implementations created from a given design. Unfortunately, cohesion, as originally de ned, could not be objectively assessed, ...
160
click to vote
TAPSOFT
1997
Springer
15 years 10 months ago
1997
Springer
We show how the formal description language LOTOS can be used to de ne software architectures and how patterns over LOTOS can serve to characterize architectural styles. We charact...
157
click to vote
ISPW
1994
IEEE
15 years 10 months ago
1994
IEEE
I consider the problems of process system architecture in the context of the Perry-Wolf model of software architecture: process elements are executed in process systems by both ma...
151
click to vote
SIGSOFT
1994
ACM
15 years 10 months ago
1994
ACM
This paper describes LCLint, an efficient and flexible tool that accepts as input programs (written in ANSI C) and various levels of formal specification. Using this information, ...