310 search results - page 18 / 62 » Implementing Java modeling language contracts with AspectJ |
124
Voted
OOPSLA
2010
Springer
15 years 9 days ago
2010
Springer
The Java language lacks the important notions of ownership (an object owns its representation to prevent unwanted aliasing) and immutability (the division into mutable, immutable,...
147
Voted
APCSAC
2000
IEEE
15 years 5 months ago
2000
IEEE
Dataflow computation models enable simpler and more efficient management of the memory hierarchy - a key barrier to the performance of many parallel programs. This paper describes...
145
click to vote
LCPC
2005
Springer
15 years 7 months ago
2005
Springer
Thread level speculation (TLS) has shown great promise as a strategy for fine to medium grain automatic parallelisation, and in a hardware context techniques to ensure correct TLS...
142
Voted
IASTEDSE
2004
15 years 3 months ago
2004
The Unified Modeling Language (UML) statechart diagram is used for modeling the dynamic aspects of systems. The UML statechart diagrams include many concepts that are not present ...
105
Voted
TASE
2009
IEEE
15 years 8 months ago
2009
IEEE
A modelling language can be defined by a metamodel in UML class diagram. This paper defines the semantics of such metamodels through two mappings: a signature mapping from metamod...