Sciweavers

4919 search results - page 124 / 984
» A Process-Ontological Model for Software Engineering
Sort
View
CMG
2006
14 years 11 months ago
Evaluation and comparison of search engines using the LSP method
We present a comprehensive model for quantitative evaluation and comparison of search engines. The model is based on the LSP method for system evaluation. The basic contribution of...
Jozo J. Dujmovic, Haishi Bai
SIGSOFT
2003
ACM
15 years 10 months ago
Bogor: an extensible and highly-modular software model checking framework
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
Robby, Matthew B. Dwyer, John Hatcliff
SYNASC
2006
IEEE
105views Algorithms» more  SYNASC 2006»
15 years 4 months ago
A Meta-Model for Enterprise Applications
In the last years, as object-oriented software systems became more and more complex, the need of performing automatically reverse engineering upon these systems has increased sign...
Cristina Marinescu, Ioan Jurca
ISSE
2010
14 years 8 months ago
An integrated multi-view model evolution framework
A UML model of a software system can be represented by a sequence of model transformations, starting from an empty model. To effectively support the design of complex systems, tra...
Volker Stolz
MODELLIERUNG
2001
14 years 11 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