2145 search results - page 24 / 429 » Architectural Specifications in CASL |
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
In this thesis, I will improve the state-of-the-art for capturing, analyzing, and refining functional requirements by providing support for synthesizing, analyzing, and refining M...
WOWMOM
2009
ACM
14 years 2 months ago
2009
ACM
The anticipated deployment of IEEE 802.16-based wireless metropolitan area networks (WMANs) will usher a new era in broadband wireless communications. The adoption of the WiMAX te...
DSVIS
1998
Springer
13 years 11 months ago
1998
Springer
: We have experienced the B Method on a case study which was defined by the French working group on formalisms for interactive systems, i.e. a Post-It
SIGSOFT
1994
ACM
13 years 11 months ago
1994
ACM
As the design of software architectures emerges as a discipline within software engineering, it will become increasingly important to support architectural description and analysi...
SIGMETRICS
2010
ACM
13 years 2 months ago
2010
ACM
The prevalence of multicore architectures has made the performance analysis of multithreaded applications an intriguing area of inquiry. An understanding of locality effects and c...