1351 search results - page 96 / 271 » Towards a Spreadsheet Engineering |
ICFEM
1998
Springer
15 years 2 months ago
1998
Springer
We introduce the formal notion of an interaction interface. Its purpose is to specify formally the interaction between two or more components that co-operate as subsystems of a di...
ICSE
1998
IEEE-ACM
15 years 2 months ago
1998
IEEE-ACM
Component-based software development has proven effective for systems implementation in well-understood application domains, but is still insufficient for the creation of reusable...
TAPSOFT
1997
Springer
15 years 2 months ago
1997
Springer
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...
EUROMICRO
2004
IEEE
15 years 1 months ago
2004
IEEE
This paper addresses the prediction of timing properties of a component-based application already during the composition phase. At this stage, it is of vital importance to guarant...
EUROMICRO
2004
IEEE
15 years 1 months ago
2004
IEEE
A contemporary office or knowledge worker has to deal with an ever increasing number of information channels and associated flows of events (i.e., software applications using vary...