Sciweavers

12551 search results - page 265 / 2511
» Reuse in Systems Engineering
Sort
View
ECSCW
1997
15 years 8 months ago
Aether: An Awareness Engine for CSCW
: Extending and reinterpreting earlier work on the 'Spatial Model', this paper presents a generic model for supporting awareness in cooperative systems ('the AETHER ...
Ovidiu Sandor, Cristian Bogdan, John Bowers
SIGSOFT
2000
ACM
15 years 11 months ago
Experience report: using RESOLVE/C++ for commercial software
Academic research sometimes suffers from the “ivory tower” problem: some ideas that sound good in theory do not necessarily work well in practice. An example of research that ...
Joseph E. Hollingsworth, Lori Blankenship, Bruce W...
ESAW
2007
Springer
16 years 24 days ago
Multi-agent Simulation to Implementation: A Practical Engineering Methodology for Designing Space Flight Operations
OCAMS is a practical engineering application of multi-agent systems technology, involving redesign of the tools and practices in a complex, distributed system. OCAMS is designed to...
William J. Clancey, Maarten Sierhuis, Chin Seah, C...
SIGADA
2005
Springer
16 years 3 days ago
The affordable application of formal methods to software engineering
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
James F. Davis
FMOODS
2003
15 years 8 months ago
Inheritance of Temporal Logic Properties
Abstract. Inheritance is one of the key features for the success of objectoriented languages. Inheritance (or specialisation) supports incremental design and re-use of already writ...
Heike Wehrheim