5433 search results - page 105 / 1087 » Tool Support for Traceability-Adaptation |
118
click to vote
APSEC
2000
IEEE
15 years 8 months ago
2000
IEEE
SOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, Data Flow Diagrams, and VDM-SL. As a method it is a com...
137
click to vote
ICWE
2010
Springer
15 years 3 months ago
2010
Springer
Evaluation of the communicative efficacy of a website is important in the context of an organization communication strategy. To address this issue, we propose a systematic method a...
142
click to vote
ICSE
2009
IEEE-ACM
15 years 11 months ago
2009
IEEE-ACM
The paper presents Save-IDE, an Integrated Development Environment for the development of component-based embedded systems. Save-IDE supports efficient development of dependable ...
138
Voted
ISMAR
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper introduces ComposAR, a tool to allow a wide audience to author AR and MR applications. It is unique in that it supports both visual programming and interpretive scripti...
126
click to vote
ECTEL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Technology-enhanced learning has gained momentum in European Higher Education, especially in recent years. In what way this movement has influenced organisations, their ...