Sciweavers

21379 search results - page 485 / 4276
» The profession of IT - Evolutionary system development
Sort
View
LPE
2003
15 years 8 months ago
An Overview of the SWI-Prolog Programming Environment
The Prolog programmer’s needs have always been the focus for guiding the development of the SWI-Prolog system. This article accompanies an invited talk about how the SWI-Prolog e...
Jan Wielemaker
IWFM
2000
162views Formal Methods» more  IWFM 2000»
15 years 8 months ago
Modal Logics for Reasoning about Object-based Component Composition
Component-oriented development of software supports the adaptability and maintainability of large systems, in particular if requirements change over time and parts of a system hav...
Claus Pahl
ICSE
2003
IEEE-ACM
16 years 7 months ago
Trustworthy and sustainable operations in marine environments
In order to address challenges and opportunities of engineering information systems for network-centric warfare, we have developed a prototype for trustworthy and sustainable oper...
Martin Fredriksson, Rune Gustavsson
SASO
2008
IEEE
16 years 1 months ago
Towards Seamless Adaptation: An Agent-Oriented Approach
Self-adaptive systems are able to autonomously adapt to changing user requirements and resource variability at runtime, therefore addressing the problem of software complexity and...
Nauman A. Qureshi, Anna Perini
SEUS
2005
IEEE
16 years 22 days ago
A Case Study on Partial Evaluation in Embedded Software Design
Source code generators are often applied in embedded systems design to combine the flexibility necessary for reusability with the performance of highly specialized software. Howe...
Michael Jung, Ralf Laue 0002, Sorin A. Huss