7892 search results - page 233 / 1579 » Programming with Models |
OOPSLA
2005
Springer
15 years 7 months ago
2005
Springer
Organic programming (OP) is our proposed and already emerging programming model which overcomes some of the limitations of current practice in software development in general and ...
126
Voted
WWW
2003
ACM
16 years 2 months ago
2003
ACM
The move towards a semantic web will produce an increasing number of presentations whose creation is based upon semantic queries. Intelligent presentation generation engines have ...
111
click to vote
WCRE
2008
IEEE
15 years 8 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...
184
click to vote
POPL
2003
ACM
16 years 1 months ago
2003
ACM
We present a generic aproach to the static analysis of concurrent programs with procedures. We model programs as communicating pushdown systems. It is known that typical dataflow ...
119
click to vote
VMCAI
2009
Springer
15 years 8 months ago
2009
Springer
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...