10707 search results - page 195 / 2142 » Designing executable abstractions |
136
Voted
IEAAIE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In this paper, we describe a framework for integrating workflow modelling techniques with a knowledge management approach that enables us to represent the problem-solving...
125
Voted
SAS
2000
Springer
15 years 7 months ago
2000
Springer
Design constraints express essential behavioural properties of a software system. Two key elements of a scheme for enforcing design constraints are presented: a logic for describin...
128
Voted
WCRE
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract. The Design Navigator is a tool for reverseengineering object-oriented programs into formal charts evel of abstraction. We show how the Design r discovers abstract buildin...
140
click to vote
ISORC
2002
IEEE
15 years 8 months ago
2002
IEEE
Object-oriented, concurrent, and event-based programming models provide a natural framework in which to express the behavior of distributed and embedded software systems. However,...
139
Voted
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...