1121 search results - page 22 / 225 » Model and Formalism Driven Development of Collaborative Appl... |
CSSW
2007
2007
Mapping Cognitive Models to Social Semantic Spaces - Collaborative Development of Project Ontologies
14 years 11 months ago
: In this paper, we present an approach that applies concepts from the areas of Social Software and Semantic Web to application development. We start
DATE
2003
IEEE
15 years 2 months ago
2003
IEEE
The ForSyDe methodology has been developed for system level design. Starting with a formal specification model, that captures the functionality of the system at a high abstractio...
IPPS
2006
IEEE
15 years 3 months ago
2006
IEEE
Performance and workload modeling has numerous uses at every stage of the high-end computing lifecycle: design, integration, procurement, installation and tuning. Despite the trem...
IRI
2005
IEEE
15 years 3 months ago
2005
IEEE
The development of applications for monitoring, control, simulation and diagnosis in the petroleum industry involves a multitude of complex software tools. These tools have their ...
VSTTE
2005
Springer
15 years 2 months ago
2005
Springer
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....