6581 search results - page 910 / 1317 » Formalizing Design Patterns |
169
click to vote
OOPSLA
2004
Springer
16 years 6 days ago
2004
Springer
This demonstration will feature overviews of the C-SAW and GenAWeave projects. The first half of the presentation will introduce the concept of two-level aspect weaving, which uni...
192
click to vote
UML
2004
Springer
16 years 6 days ago
2004
Springer
Being part of domain engineering, domain analysis enables identifying domains and capturing their ontologies in order to assist and guide system developers to design domain-specifi...
174
Voted
CODES
2003
IEEE
16 years 4 days ago
2003
IEEE
Current methods cannot synthesize real-time embedded software applications when the global deadline of a task is shorter than the total of all local deadlines along a critical pat...
201
click to vote
MTV
2003
IEEE
16 years 4 days ago
2003
IEEE
Bounded Model Checking (BMC) techniques have been used for formal hardware verification, with the help of tools such as GRASP (Generic search Algorithm for Satisfiability Proble...
185
Voted
RSP
2003
IEEE
16 years 4 days ago
2003
IEEE
The paper shows the outlines of the SLAM system and how its design is suitable for automating rapid prototyping. The system includes a very expressive object oriented specificati...