Sciweavers

2853 search results - page 127 / 571
» A platform for software engineering research
Sort
View
COMPSAC
2002
IEEE
15 years 3 months ago
The Quest for Software Components Quality
Component based software development is becoming more generalized, representing a considerable market for the software industry. The perspective of reduced development costs and s...
Miguel Goulão, Fernando Brito e Abreu
SEMWEB
2011
Springer
14 years 25 days ago
Watson, more than a Semantic Web search engine
In this tool report, we present an overview of the Watson system, a Semantic Web search engine providing various functionalities not only to find and locate ontologies and semanti...
Mathieu d'Aquin, Enrico Motta
EMSOFT
2010
Springer
14 years 8 months ago
Model-based implementation of real-time applications
Correct and efficient implementation of general real-time applications remains by far an open problem. A key issue is meeting timing constraints whose satisfaction depends on feat...
Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis
ICSE
2007
IEEE-ACM
15 years 10 months ago
Formal Software Analysis Emerging Trends in Software Model Checking
The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide vari...
Matthew B. Dwyer, John Hatcliff, Robby, Corina S. ...
ICSE
2008
IEEE-ACM
15 years 10 months ago
Effecting change: coordination in large-scale software development
Large-scale software development requires coordination within and between very large engineering teams, each of which may be located in different locations and time zones. Numerou...
Andrew Begel