2407 search results - page 286 / 482 » A Tool for Abstraction in Model Checking |
173
click to vote
ERCIMDL
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. This paper presents the results of our study regarding the different facets and ways of using annotations in both digital libraries and collaboratories. This study repres...
190
click to vote
ECMDAFA
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. In this paper we report on our experience on using the socalled model-driven security approach in an MDA industrial project. In model-driven security, "designers spe...
164
click to vote
MODELLIERUNG
2008
15 years 8 months ago
2008
Abstract: Model transformation is not only a crucial but also one of the most complicated aspects of model-driven software development (MDSD). An adequate transformation language i...
185
click to vote
TELSYS
2002
15 years 6 months ago
2002
Abstract. Time dependent behavior has an impact on the performance of telecommunication models. Examples include: staffing a call center, pricing the inventory of private line serv...
192
click to vote
ICSE
2007
IEEE-ACM
16 years 7 months ago
2007
IEEE-ACM
Many end user programming tools such as spreadsheets and databases offer poor support for representing a level of abstraction that is intuitive to users. For example, users must w...