Search Sciweavers | Sciweavers

7892 search results - page 12 / 1579

» Programming with Models

click to vote

ECOOP
1999
Springer

59views Programming Languages» more ECOOP 1999»

A Trace Model for Pointers and Objects

14 years 21 days ago

Download research.microsoft.com

: Object-oriented programs Dahl, Goldberg, Meyer are notoriously prone to the following kinds of error, which could lead to increasingly severe problems in the presence of tasking

C. A. R. Hoare, Jifeng He

claim paper

Read More »

click to vote

UML
2005
Springer

164views Natural Language Processing» more UML 2005»

Modeling Turnpike Frontend System: A Model-Driven Development Framework Leveraging UML Metamodeling and Attribute-Oriented Progr

14 years 1 months ago

Download www.cs.umb.edu

This paper describes and empirically evaluates a new model-driven development framework, called Modeling Turnpike (or mTurnpike). It allows developers to model and program domain-s...

Hiroshi Wada, Junichi Suzuki

claim paper

Read More »

click to vote

AAAI
2008

142views Intelligent Agents» more AAAI 2008»

Hyperequivalence of Logic Programs with Respect to Supported Models

13 years 10 months ago

Download www.cs.engr.uky.edu

Recent research in nonmonotonic logic programming has focused on program equivalence relevant for program optimization and modular programming. So far, most results concern the st...

Miroslaw Truszczynski, Stefan Woltran

claim paper

Read More »

click to vote

TOOLS
2000
IEEE

131views Programming Languages» more TOOLS 2000»

A Metacomponent Model to Support the Extensibility and Evolvability of Networked Applications

14 years 24 days ago

Download d3s.mff.cuni.cz

Glêdson Elias da Silveira, Silvio Romero de ...

claim paper

Read More »