Sciweavers

1774 search results - page 231 / 355
» Modeling and implementing software architecture with acme an...
Sort
View
SIGSOFT
2008
ACM
13 years 9 months ago
JUnit 3.8 documented using collaborations
This paper describes the design of the unit testing framework JUnit v3.8. The documentation technique employed is an enhanced version of collaboration-based design, also known as ...
Dirk Riehle
AOSD
2011
ACM
13 years 4 months ago
EventCJ: a context-oriented programming language with declarative event-based context transition
This paper proposes EventCJ, a context-oriented programming (COP) language that can modularly control layer activation based on user-defined events. In addition to defining cont...
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
POPL
2012
ACM
12 years 4 months ago
Deciding choreography realizability
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
Samik Basu, Tevfik Bultan, Meriem Ouederni
DAC
2007
ACM
14 years 10 months ago
Automatic Verification of External Interrupt Behaviors for Microprocessor Design
Interrupt behaviors, especially the external ones, are difficult to verify in a microprocessor design project in that they involve both interacting hardware and software. This pap...
Fu-Ching Yang, Wen-Kai Huang, Ing-Jer Huang
ACMSE
2006
ACM
14 years 3 months ago
Middleware specialization using aspect oriented programming
Standardized middleware is used to build large distributed real-time and enterprise (DRE) systems. These middleware are highly flexible and support a large number of features sin...
Dimple Kaul, Aniruddha S. Gokhale