276 search results - page 7 / 56 » Evaluating formal properties of feature diagram languages |
JOT
2008
14 years 9 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
100
click to vote
APGV
2010
ACM
2010
ACM
Evaluating the effectiveness of visualization techniques for schematic diagrams in maintenance tasks
15 years 24 days ago
In order to perform daily maintenance and repair tasks in complex electrical and mechanical systems, technicians commonly utilize a large number of diagrams and documents detailin...
ISSRE
2000
IEEE
15 years 1 months ago
2000
IEEE
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
SACMAT
2006
ACM
15 years 3 months ago
2006
ACM
The growing importance of access control has led to the definition of numerous languages for specifying policies. Since these languages are based on different foundations, langua...
124
click to vote
CEFP
2007
Springer
15 years 3 months ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...