Sciweavers

2373 search results - page 29 / 475
» The Design of the Zinc Modelling Language
Sort
View
TOOLS
1999
IEEE
15 years 5 months ago
On Creation, Equality and the Object Model
In designing languages, we strive for consistency and elegance. In object-oriented languages, simple data types have always been a problem in that they do not quite fit in with th...
Michael Kölling, John Rosenberg
PLDI
2010
ACM
15 years 3 months ago
DRFX: a simple and efficient memory model for concurrent programming languages
The most intuitive memory model for shared-memory multithreaded programming is sequential consistency (SC), but it disallows the use of many compiler and hardware optimizations th...
Daniel Marino, Abhayendra Singh, Todd D. Millstein...
COMPUTER
2006
160views more  COMPUTER 2006»
15 years 1 months ago
Developing Applications Using Model-Driven Design Environments
Model-driven development (MDD) is an emerging paradigm that improves the software development lifecycle, particularly for large software systems by providing a higherabstraction fo...
Krishnakumar Balasubramanian, Aniruddha S. Gokhale...
ECEASST
2006
111views more  ECEASST 2006»
15 years 1 months ago
Improving the OCL Semantics Definition by Applying Dynamic Meta Modeling and Design Patterns
OCL is a standard specification language, which will probably be supported by most software modeling tools in the near future. Hence, it is important to OCL to have a solid formal ...
Juan Martin Chiaradía, Claudia Pons
UML
2004
Springer
15 years 6 months ago
SoftContract: Model-Based Design of Error-Checking Code and Property Monitors
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
Luciano Lavagno, Marco Di Natale, Alberto Ferrari,...