Sciweavers

5407 search results - page 137 / 1082
» The Software Engineering Global Model
Sort
View
CHB
2011
93views more  CHB 2011»
14 years 7 months ago
Web Wisdom: An essay on how Web 2.0 and Semantic Web can foster a global knowledge society
Admittedly this is a presumptuous title that should never be used when reporting on individual research advances. Wisdom is just not a scientific concept. In this case, though, w...
Christopher Thomas, Amit P. Sheth
116
Voted
CMG
2006
15 years 4 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
132
Voted
SIGSOFT
2003
ACM
16 years 4 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 9 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
MODELLIERUNG
2001
15 years 4 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