Sciweavers

3837 search results - page 516 / 768
» Concurrent Engineering support in Software Engineering
Sort
View
127
Voted
EMSOFT
2003
Springer
15 years 9 months ago
HOKES/POKES: Light-Weight Resource Sharing
Abstract. In this paper, we explain mechanisms for providing embedded network processors and other low-level programming environments with light-weight support for safe resource sh...
Herbert Bos, Bart Samwel
111
Voted
FATES
2003
Springer
15 years 9 months ago
Towards a Tool Environment for Model-Based Testing with AsmL
We present work on a tool environment for model-based testing with the Abstract State Machine Language (AsmL). Our environment supports semiautomatic parameter generation, call seq...
Michael Barnett, Wolfgang Grieskamp, Lev Nachmanso...
ATAL
2008
Springer
15 years 5 months ago
Automated unit testing intelligent agents in PDT
The Prometheus Design Tool (PDT) is an agent development tool that supports the Prometheus design methodology and includes features like automated code generation. We enhance this...
Zhiyong Zhang, John Thangarajah, Lin Padgham
CSSW
2007
15 years 5 months ago
Semantic Integrator: Semi-Automatically Enhancing Social Semantic Web Environments
Abstract: Large amounts of information from various sources have often to be considered when collaboratively developing semantic structures. Examining all relevant information can ...
Steffen Lohmann, Philipp Heim, Jürgen Ziegler
SIS
2004
15 years 5 months ago
Towards a Systematic Development of Secure Systems
In this paper we outline a new process model for security engineering. This process model extends object oriented, use case driven software development by the systematic treatment ...
Ruth Breu, Klaus Burger, Michael Hafner, Gerhard P...