Sciweavers

8109 search results - page 189 / 1622
» A Model of Component-Based Programming
Sort
View
ANSS
2004
IEEE
15 years 9 months ago
Object-Oriented SIMSCRIPT
A new object-oriented version of the SIMSCRIPT programming language is under development. Incorporating modules and object classes, the new language is designed for modular, objec...
Stephen V. Rice, Ana Marjanski, Harry M. Markowitz...
WSC
2004
15 years 6 months ago
A View From the Beginning: When Does a Description Become a Taxonomy
This paper describes the author's career leading up to the publication of his 1969 paper Digital Computer Simulation: Computer Programming Languages, how it influenced the pa...
Philip J. Kiviat
FM
2003
Springer
88views Formal Methods» more  FM 2003»
15 years 10 months ago
A Semantic Foundation for TCOZ in Unifying Theories of Programming
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
Shengchao Qin, Jin Song Dong, Wei-Ngan Chin
CONCUR
1997
Springer
15 years 9 months ago
Probabilistic Concurrent Constraint Programming
Abstract. We extend cc to allow the specification of a discrete probability distribution for random variables. We demonstrate the expressiveness of pcc by synthesizing combinators...
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
IFIP
2007
Springer
15 years 11 months ago
Platform-Independent Programming of Data-Intensive Applications Using UML
The shift of development effort onto the model level, as postulated by MDA, provides an opportunity for establishing a set of modelling constructs that is more intuitive and homoge...
Grzegorz Falda, Piotr Habela, Krzysztof Kaczmarski...