Sciweavers

1733 search results - page 89 / 347
» On the naturalness of software
Sort
View
UML
2004
Springer
15 years 11 months ago
Query Models
The need for querying software artifacts is a new emerging design issue in modern software development. Novel techniques such as Model-Driven Architecture or Aspect-Oriented Softwa...
Dominik Stein, Stefan Hanenberg, Rainer Unland
SEKE
2007
Springer
16 years 11 days ago
On Modern Debugging For Rule-Based Systems
With the growing interest in rule languages in the Semantic Web and the Business Rule community it is time to look again at the issue of debugging rule bases. New challenges have ...
Valentin Zacharias, Andreas Abecker
UML
2005
Springer
15 years 11 months ago
Towards a Generic Aspect Oriented Design Process
Aspect oriented design (AOD) research is fragmented. Barriers to AOD adoption are, in part, due to the fragmented nature of AOD research. Individually, many approaches provide ele...
Andrew Jackson, Siobhán Clarke
MODELS
2009
Springer
16 years 24 days ago
Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009)
The second ACES-MB workshop brought together researchers and practitioners interested in model-based software engineering for realtime embedded systems, with a particular focus on ...
Stefan Van Baelen, Thomas Weigert, Ileana Ober, Hu...
IFL
2007
Springer
221views Formal Methods» more  IFL 2007»
16 years 12 days ago
From Contracts Towards Dependent Types: Proofs by Partial Evaluation
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky,...