1407 search results - page 152 / 282 » Towards Usable Analysis, Design and Modeling Tools |
169
click to vote
ASE
2007
15 years 6 months ago
2007
In earlier work, we have introduced Secure Tropos, a requirements engineering methodology that extends the Tropos methodology and is intended for the design and analysis of securit...
185
click to vote
MODELS
2010
Springer
15 years 4 months ago
2010
Springer
Model transformation is one of the pillars of Model-Driven Engineering (MDE). The increasing complexity of systems and modelling languages has dramatically raised the complexity an...
171
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
188
click to vote
WSC
1997
15 years 7 months ago
1997
This paper gives an overview of business process modeling with SIMPROCESS, its applications, unique features, basic and advanced modeling constructs, and benefits. 1 WHAT IS SIMPR...
196
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...