1988 search results - page 258 / 398 » Engineering formal metatheory |
182
Voted
SEKE
2005
Springer
16 years 14 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...
169
click to vote
SOCO
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
177
Voted
PASTE
2004
ACM
16 years 13 days ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
145
click to vote
SAC
2004
ACM
16 years 13 days ago
2004
ACM
This work presents an object-oriented calculus based on higher-order mixin construction via mixin composition, where some software engineering requirements are modeled in a formal ...
175
click to vote
ATAL
2004
Springer
16 years 12 days ago
2004
Springer
The ‘engineering’ and ‘adaptive’ approaches to system production are distinguished. It is argued that producing reliable self-organised software systems (SOSS) will necessa...