Sciweavers

2385 search results - page 385 / 477
» Knowledge Refinement for a Design System
Sort
View
ICICS
2001
Springer
14 years 1 months ago
Enforcing Obligation with Security Monitors
With the ubiquitous deployment of large scale networks more and more complex human interactions are supported by computer applications. This poses new challenges on the expressive...
Carlos Ribeiro, Andre Zuquete, Paulo Ferreira
PROFES
2001
Springer
14 years 1 months ago
A Family-Oriented Software Development Process for Engine Controllers
This paper presents a family-based software development process for aero-engine control software. The process uses a “family capability” derived from family analysis of the emb...
Karen Allenby, Simon Burton, Darren L. Buttle, Joh...
SEKE
2001
Springer
14 years 1 months ago
Ontology-Related Services in Agent-Based Distributed Information Infrastructures
Ontologies are an emerging paradigm to support declarativity, interoperability, and intelligent services in many areas, such as Agent–based Computation, Distributed Information ...
Ludger van Elst, Andreas Abecker
IWPC
2000
IEEE
14 years 1 months ago
Tracing Object-Oriented Code into Functional Requirements
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual page...
Giuliano Antoniol, Gerardo Canfora, Andrea De Luci...
VL
1999
IEEE
136views Visual Languages» more  VL 1999»
14 years 1 months ago
Scaling up a "What You See Is What You Test" Methodology to Spreadsheet Grids
Although there has been considerable research into ways to design visual programming environments to improve the processes of creating new programs and of understanding existing o...
Margaret M. Burnett, Andrei Sheretov, Gregg Rother...