Sciweavers

3021 search results - page 58 / 605
» A Domain Engineering Approach for Situational Method Enginee...
Sort
View
RE
2006
Springer
14 years 11 months ago
A Case Study in Systematic Improvement of Language for Requirements
The challenges to requirements from linguistic factors are well-known. This work concerns an approach to communicating requirements with greater fidelity among stakeholders throug...
Kimberly S. Wasson
WIKIS
2006
ACM
15 years 5 months ago
OntoWiki: community-driven ontology engineering and ontology usage based on Wikis
Ontologies are consensual representations of a domain of discourse and the backbone of the future Semantic Web. Currently, however, only a fraction of Web users can take part in t...
Martin Hepp, Daniel Bachlechner, Katharina Siorpae...
TPHOL
1998
IEEE
15 years 4 months ago
The Village Telephone System: A Case Study in Formal Software Engineering
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gun...
ARTMED
2005
87views more  ARTMED 2005»
14 years 11 months ago
Fuzzy attributes of a DNA complex: Development of a fuzzy inference engine for codon-"junk" codon delineation
Codons refer to those parts in a DNA complex encoded towards forming a desired set of proteins. Also coexist in the DNA are noncodons (or "junk" codons) whose functions ...
Tomás Arredondo Vidal, Perambur S. Neelakan...
ICSE
2008
IEEE-ACM
15 years 12 months ago
Using software engineering technology to improve the quality of medical processes
In this paper, we describe some of the key observations resulting from our work on using software engineering technologies to help detect errors in medical processes. In many ways...
Lori A. Clarke, George S. Avrunin, Leon J. Osterwe...