1288 search results - page 14 / 258 » On Analysis of Design Component Contracts: A Case Study |
AUSDM
2007
Springer
15 years 5 months ago
2007
Springer
The maintenance dataset provided by SunWater contains information about failed assets also known as components and their corresponding failure modes. Currently, extraction of this...
ERLANG
2007
ACM
15 years 3 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
130
click to vote
DSVIS
1998
Springer
15 years 3 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
WWW
2001
ACM
16 years 10 days ago
2001
ACM
Starpoint Solutions was contracted by a major North American bank to design, develop, and usability test a series of five Web-based, interactive lessons teaching low- to middle-in...
102
click to vote
TSMC
2002
14 years 11 months ago
2002
In this paper, we describe the design of a decision support system for operators of model-based predictive controllers (MPC). MPC is a form of advanced automatic control that is in...