10707 search results - page 195 / 2142 » Designing executable abstractions |
179
click to vote
IEAAIE
2010
Springer
15 years 4 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...
172
Voted
SAS
2000
Springer
15 years 10 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...
183
Voted
WCRE
2008
IEEE
16 years 1 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...
225
Voted
ISORC
2002
IEEE
15 years 12 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,...
194
Voted
EMSOFT
2006
Springer
15 years 10 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...