Sciweavers

3432 search results - page 14 / 687
» Model Development in the UML-based Specification Environment...
Sort
View
VL
1999
IEEE
112views Visual Languages» more  VL 1999»
14 years 27 days ago
Visual Specification of Spatio-Temporal Developments
In this paper we propose a visual interface for the specification of predicates to be used in queries on spatio-temporal databases. The approach is based on a visual specification...
Martin Erwig, Markus Schneider
JUCS
2008
114views more  JUCS 2008»
13 years 8 months ago
CTML: Domain and Task Modeling for Collaborative Environments
: A precise model of the behavioral dynamics is a necessary precondition for the development of collaborative environments. In this paper we present a specification framework for c...
Maik Wurdel, Daniel Sinnig, Peter Forbrig
GI
2009
Springer
13 years 6 months ago
Specification based testing of automotive human machine interfaces
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
Holger Grandy, Sebastian Benz
ICCS
2007
Springer
14 years 14 days ago
Building Verifiable Sensing Applications Through Temporal Logic Specification
Abstract. Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized n...
Asad Awan, Ahmed H. Sameh, Suresh Jagannathan, Ana...
SAC
2008
ACM
13 years 8 months ago
Towards a model-driven engineering approach for developing embedded hard real-time software
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
Fabiano Cruz, Raimundo S. Barreto, Lucas Cordeiro