Sciweavers

2608 search results - page 159 / 522
» Subjects, Models, Languages, Transformations
Sort
View
211
Voted
ICAS
2008
IEEE
181views Robotics» more  ICAS 2008»
16 years 1 months ago
Modeling User Interfaces to Workflow Information Systems
This paper addresses the need for designing user interfaces (UIs) to workflow information systems by adopting a model-centric approach. We introduce a conceptual workflow model to...
Josefina Guerrero García, Jean Vanderdonckt...
218
Voted
RTCSA
1997
IEEE
15 years 11 months ago
Behavior verification of hybrid real-time requirements by qualitative formalism
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
Jang-Soo Lee, Sung Deok Cha
265
Voted
ICSEA
2009
IEEE
15 years 4 months ago
Development of CMS-Based Web-Applications Using a Model-Driven Approach
The emerging Model-Driven Engineering paradigm advocates the use of models as first-class citizens in the software development process, while artifacts such as documentation and so...
João de Sousa Saraiva, Alberto Rodrigues da...
ECTEL
2008
Springer
15 years 8 months ago
Bridging the Gap between Practitioners and E-Learning Standards: A Domain-Specific Modeling Approach
Developing a learning design using IMS Learning Design (LD) is difficult for average practitioners because a high overhead of pedagogical knowledge and technical knowledge is requi...
Yongwu Miao, Tim Sodhi, Francis Brouns, Peter B. S...
FAC
2006
104views more  FAC 2006»
15 years 7 months ago
Angelic nondeterminism in the unifying theories of programming
Hoare and He's unifying theories of programming (UTP) is a model of alphabetised relations expressed as predicates; it supports development in several programming paradigms. T...
Ana Cavalcanti, Jim Woodcock, Steve Dunne