Search Sciweavers | Sciweavers

7892 search results - page 12 / 1579

» Programming with Models

Voted

ECOOP
1999
Springer

59views Programming Languages» more ECOOP 1999»

A Trace Model for Pointers and Objects

15 years 6 months 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 »

120

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

15 years 7 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 »

103

click to vote

AAAI
2008

142views Intelligent Agents» more AAAI 2008»

Hyperequivalence of Logic Programs with Respect to Supported Models

15 years 4 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

15 years 6 months ago

Download d3s.mff.cuni.cz

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

claim paper

Read More »