Sciweavers

1236 search results - page 153 / 248
» From Conceptual Modeling to Requirements Engineering
Sort
View
RE
2010
Springer
15 years 1 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis
EMSOFT
2004
Springer
15 years 11 months ago
Model based estimation and verification of mobile device performance
Performance is an important quality attribute that needs to be and managed proactively. Abstract models of the system are not very useful if they do not produce reasonably accurat...
Gopalakrishna Raghavan, Ari Salomaki, Raimondas Le...
OTM
2007
Springer
16 years 14 days ago
OntoGame: Towards Overcoming the Incentive Bottleneck in Ontology Building
Despite significant advancement in ontology learning, building ontologies remains a task that highly depends on human intelligence, both as a source of domain expertise and for pro...
Katharina Siorpaes, Martin Hepp
ICSR
2004
Springer
15 years 11 months ago
A Metamodel-Based Approach for the Dynamic Reconfiguration of Component-Based Software
Non-stop and highly available applications need to be dynamically adapted to new conditions in their execution environment, to new user requirements or to some situations usually u...
Abdelmadjid Ketfi, Noureddine Belkhatir
MODELLIERUNG
2001
15 years 7 months ago
Applicability of the Object Constraint Language (OCL) in Commercial Software Development for Vehicle Routing and Scheduling Soft
Abstract: Models are important artefacts that support human understanding and communication. Often software development involves specialists from a variety of fields, e.g. mathemat...
Peter Wendorff