1393 search results - page 66 / 279 » From Models to Interactive Systems Tool Support and XIML |
160
click to vote
CAISE
2009
Springer
16 years 26 days ago
2009
Springer
In CAiSE 2006, we had presented a framework to support development of secure information systems. The framework was based on the integration of two security-aware approaches, the S...
176
click to vote
ECHT
1994
15 years 10 months ago
1994
The emergent nature of structure is a crucial, but often ignored, constraint on authoring hypertexts. VIKI is a spatial hypertext system that supports the emergent s of structure ...
149
click to vote
LEGE
2004
15 years 7 months ago
2004
In this paper we discuss the TestTool system as an established testing system model, the one that is being used in real educational settings and supports self-assessment as well as...
161
click to vote
ETFA
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
168
click to vote
ASE
2008
15 years 6 months ago
2008
In the last years several efforts have been devoted by researchers in the Requirements Engineering community to the development of methodologies for supporting designers during req...