Sciweavers

3040 search results - page 72 / 608
» Synergetic Tool Environments
Sort
View
WSC
2007
13 years 11 months ago
Project planning using an interactive, structured modeling environment
Planning construction projects typically makes use of the activity network based Critical Path Method (CPM), since it is very simple to use and reasonably versatile. Most other pl...
Ian Flood
GG
2008
Springer
13 years 10 months ago
Graph-Based Tools: The Contest
This event is the second instance of the contest for graph transformation-based tools, which was first held as part of the AGTIVE workshop. The aim is to stimulate tool developmen...
Arend Rensink, Pieter Van Gorp
DIGITEL
2007
IEEE
14 years 3 months ago
MuDiS - A Virtual Learning Environment
This paper presents a multi-component; distributed system (MuDiS) based solution for building a virtual learning environment which combines a wide range of technology, tools and d...
Jeetinder Singh, Jayanthi Sivaswamy, Krishnarajulu...
SEFM
2007
IEEE
14 years 3 months ago
Supporting Proof in a Reactive Development Environment
Reactive integrated development environments for software engineering have lead to an increase in productivity and quality of programs produced. They have done so by replacing the...
Farhad Mehta
SPIN
2010
Springer
13 years 7 months ago
Automatic Generation of Model Checking Scripts Based on Environment Modeling
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
Kenro Yatake, Toshiaki Aoki