Sciweavers

4258 search results - page 553 / 852
» Languages and Interactive Software Development
Sort
View
UML
2001
Springer
15 years 9 months ago
An Axiomatic Formalization of UML Models
: Though it is widely recognized that object-oriented methodologies are most effective in developing large scale software, it is still dif cult to apply high level computer support...
Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama
IFIP
1993
Springer
15 years 8 months ago
Computer-Aided Manufacturing System Engineering
A new type of computer-aided engineering environment is envisioned which will improve the productivity of manufacturing/industrial engineers. This environment would be used by eng...
C. R. McLean
HASKELL
2007
ACM
15 years 8 months ago
Lightweight concurrency primitives for GHC
The Glasgow Haskell Compiler (GHC) has quite sophisticated support for concurrency in its runtime system, which is written in lowlevel C code. As GHC evolves, the runtime system b...
Peng Li, Simon Marlow, Simon L. Peyton Jones, Andr...
ECOOPW
2000
Springer
15 years 8 months ago
Reflection and Meta-level Architectures: State of the Art and Future Trends
Previous workshops on reflection both in ECOOP and in OOPSLA have pointed out the growing interest and importance of Reflection and Metalevel Architectures in the fields of program...
Walter Cazzola, Shigeru Chiba, Thomas Ledoux
FPCA
1995
15 years 8 months ago
Abstract Models of Memory Management
Models of Memory Management Greg Morrisett Matthias Felleisen Robert Harper January 1995 CMU{CS{95{110 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Al...
J. Gregory Morrisett, Matthias Felleisen, Robert H...