Sciweavers

16968 search results - page 3146 / 3394
» Software Engineering in the Small
Sort
View
SBIA
2004
Springer
15 years 12 months ago
Reasoning About Requirements Evolution Using Clustered Belief Revision
During the development of system requirements, software system specifications are often inconsistent. Inconsistencies may arise for different reasons, for example, when multiple...
Odinaldo Rodrigues, Artur S. d'Avila Garcez, Aless...
SEKE
2004
Springer
15 years 12 months ago
Automatic Mapping of OWL Ontologies into Java
We present an approach for mapping an OWL ontology into Java. The basic idea is to create a set of Java interfaces and classes from an OWL ontology such that an instance of a Java ...
Aditya Kalyanpur, Daniel Jiménez Pastor, St...
SEKE
2004
Springer
15 years 12 months ago
Grammatically Interpreting Feature Compositions
Feature modeling is a popular domain analysis method for describing the commonality and variability among the domain products. The current formalisms of feature modelling do not ha...
Wei Zhao, Barrett R. Bryant, Fei Cao, Rajeev R. Ra...
SIGADA
2004
Springer
15 years 12 months ago
Comparative analysis of genetic algorithm implementations
Genetic Algorithms provide computational procedures that are modeled on natural genetic system mechanics, whereby a coded solution is “evolved” from a set of potential solutio...
Robert Soricone, Melvin Neville
DISCEX
2003
IEEE
15 years 12 months ago
Achieving Principled Assuredly Trustworthy Composable Systems and Networks
Huge challenges exist with systems and networks that must dependably satisfy stringent requirements for security, reliability, and other attributes of trustworthiness. Drawing on ...
Peter G. Neumann
« Prev « First page 3146 / 3394 Last » Next »