Sciweavers

1766 search results - page 10 / 354
» Developing Applications With Objective Caml
Sort
View
FMCO
2003
Springer
188views Formal Methods» more  FMCO 2003»
15 years 4 months ago
Consistency Management Within Model-Based Object-Oriented Development of Components
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...
Jochen Malte Küster, Gregor Engels
IPPS
1997
IEEE
15 years 3 months ago
Extensible Message Passing Application Development and Debugging with Python
We describe how we have parallelized Python, an interpreted object oriented scripting language, and used it to build an extensible message-passing molecular dynamics application f...
David M. Beazley, Peter S. Lomdahl
ISSE
2010
14 years 10 months ago
An approach to applying SOFL for agile process and its application in developing a test support tool
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...
Shaoying Liu
ISORC
1999
IEEE
15 years 4 months ago
Prediction of Fault-proneness at Early Phase in Object-Oriented Development
To analyze the complexity of object-oriented software, several metrics have been proposed. Among them, Chidamber and Kemerer's metrics are well-known ones as object-oriented ...
Toshihiro Kamiya, Shinji Kusumoto, Katsuro Inoue
SC
1995
ACM
15 years 3 months ago
Relative Debugging and its Application to the Development of Large Numerical Models
Because large scienti c codes are rarely static objects, developers are often faced with the tedious task of accounting for discrepancies between new and old versions. In this pap...
David Abramson, Ian T. Foster, John Michalakes, Ro...