2030 search results - page 326 / 406 » Designing Complex Software Implementation Programs |
128
click to vote
ICSE
2000
IEEE-ACM
15 years 5 months ago
2000
IEEE-ACM
This paper proposes to use SDL block diagrams, UML class diagrams, and UML behavior diagrams like collaboration diagrams, activity diagrams, and statecharts as a visual programmin...
141
click to vote
AOSD
2008
ACM
15 years 4 months ago
2008
ACM
AspectJ was designed as a seamless aspect-oriented extension of the Java programming language. However, unlike Java, AspectJ does not have a safe type system: an accepted binding ...
134
click to vote
CC
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. This paper introduces a method to generate efficient vectorized implementations of small stride permutations using only vector load and vector shuffle instructions. These...
118
click to vote
ASWEC
2010
IEEE
15 years 2 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
124
click to vote
AOSD
2003
ACM
15 years 7 months ago
2003
ACM
We define a generic join point model for checking the Law of Demeter (LoD). Join points are trees, pointcuts are predicates over join points, and advice is checked statically sim...