Sciweavers

1117 search results - page 169 / 224
» Domain Specific Engineering Environments
Sort
View
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 6 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
ICSE
1998
IEEE-ACM
15 years 6 months ago
Design Components: Towards Software Composition at the Design Level
Component-based software development has proven effective for systems implementation in well-understood application domains, but is still insufficient for the creation of reusable...
Rudolf K. Keller, Reinhard Schauer
AVI
2010
15 years 3 months ago
Exploring the design space of multiscale 3D orientation
Recently, research in 3D computer graphics and interaction has started to move beyond the narrow domain of single object authoring and inspection, and has begun to consider comple...
James McCrae, Michael Glueck, Tovi Grossman, Azam ...
ICSEA
2009
IEEE
15 years 9 months ago
Ontology Driven E-Government
: This paper presents an approach to model ontologies for the e-Government domain as a basis for an integrated e-Government environment. Over the last couple of years the applicati...
Peter Salhofer, Bernd Stadlhofer, Gerald Tretter
SEAA
2008
IEEE
15 years 8 months ago
Service Coroner: A Diagnostic Tool for Locating OSGi Stale References
The OSGi Services Platform provides a framework for the dynamic deployment of Java-based applications. It allows to install, to activate, to update and to uninstall application mo...
Kiev Gama, Didier Donsez