Static and dynamic consistency checking for numerical simulation: a mixed-logic and object-oriented programming approach

Author

Defour, Olivier ; Maréchal, Yves

Author_Institution

Lab. d´´Electrotechnique de Grenoble, ENSIEG, St. Martin d´´Heres, France

Volume

40

Issue

2

fYear

2004

fDate

3/1/2004 12:00:00 AM

Firstpage

1386

Lastpage

1389

Abstract

This paper presents a framework which implements common software functionalities. By using this framework, software designers focus on their activity in developing efficient data structures and algorithms. The logic programming introduced in this framework is an efficient technology for Object Constraint Language expressions. Errors made by the user when modeling a device are detected and prevented by the modeling guide.

Keywords

data structures; digital simulation; electrical engineering computing; logic programming; numerical analysis; object-oriented programming; software engineering; algorithms; data structures; dynamic consistency checking; logic programming; mixed-logic programming; numerical simulation; object constraint language; object-oriented programming; simulation software; software design; software functionalities; static consistency checking; Application software; Computer architecture; Data structures; Dynamic programming; Logic programming; Numerical simulation; Object oriented modeling; Object oriented programming; Software design; User interfaces;

fLanguage

English

Journal_Title

Magnetics, IEEE Transactions on

Publisher

ieee

ISSN

0018-9464

Type

jour

DOI

10.1109/TMAG.2004.824906

Filename

1284680