611 search results - page 48 / 123 » A Formal Contract Language for Plugin-based Software Enginee... |
112
click to vote
ICFEM
1998
Springer
15 years 4 months ago
1998
Springer
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
SEKE
2005
Springer
15 years 5 months 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...
111
click to vote
EWSA
2004
Springer
15 years 5 months ago
2004
Springer
This paper gives an overview of the ArchWare European Project1 . The broad scope of ArchWare is to respond to the ever-present demand for software systems that are capable of accom...
109
click to vote
DIAGRAMS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. The spider diagram logic forms a fragment of constraint diagram logic and is designed to be primarily used as a diagrammatic software specification tool. Our interest is ...
121
click to vote
AOSD
2011
ACM
14 years 6 months ago
2011
ACM
Software systems are increasingly being built as compositions of reusable artifacts (components, frameworks, toolkits, plug-ins, APIs, etc) that have non-trivial usage constraints...