Sciweavers

11653 search results - page 1958 / 2331
» The Development of the C Language
Sort
View
174
Voted
QSIC
2007
IEEE
16 years 1 months ago
Automatic Quality Assessment of SRS Text by Means of a Decision-Tree-Based Text Classifier
The success of a software project is largely dependent upon the quality of the Software Requirements Specification (SRS) document, which serves as a medium to communicate user req...
Ishrar Hussain, Olga Ormandjieva, Leila Kosseim
ADAEUROPE
2007
Springer
16 years 1 months ago
Modelling Remote Concurrency with Ada
When developing concurrent software, a proper engineering practice is to choose a good level of abstraction for expressing concurrency control. Ideally, this level should provide p...
Claude Kaiser, Christophe Pajault, Jean-Fran&ccedi...
B
2007
Springer
16 years 1 months ago
Augmenting B with Control Annotations
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
Wilson Ifill, Steve A. Schneider, Helen Treharne
BTW
2007
Springer
114views Database» more  BTW 2007»
16 years 1 months ago
Transformation of Models in(to) a Generic Metamodel
: Model Management aims at developing new technologies and mechanisms to support the integration, evolution and matching of models. Such tasks are to be performed by means of a set...
David Kensche, Christoph Quix
BTW
2007
Springer
191views Database» more  BTW 2007»
16 years 1 months ago
The Information Integrator: Using Semantic Technology to provide a single view to distributed data
: For the integration of data that resides in autonomous data sources Software AG uses ontologies. Data source ontologies describe the data sources themselves. Business ontologies ...
Jürgen Angele, Michael Gesmann
« Prev « First page 1958 / 2331 Last » Next »