Sciweavers

832 search results - page 120 / 167
» Declarative Specification of Software Architectures
Sort
View
ICSE
2007
IEEE-ACM
14 years 10 months ago
WebSob: A Tool for Robustness Testing of Web Services
Web services are a popular way of implementing a Service-Oriented Architecture. Testing can be used to help assure both the correctness and robustness of a web service. Because ma...
Evan Martin, Suranjana Basu, Tao Xie
ITNG
2007
IEEE
14 years 4 months ago
Super Iterator A design pattern for Algorithm and Data structure collections
The Super Iterator pattern, like the standard Iterator pattern, traverses an unknown data structure without exposing that structure. With the standard Iterator pattern, clients mu...
Andre Oboler, Charles Twardy, David W. Albrecht
DATE
2000
IEEE
105views Hardware» more  DATE 2000»
14 years 2 months ago
System Synthesis for Multiprocessor Embedded Applications
This paper presents the system synthesis techniques available in S3 E2 S, a CAD environment for the specification, simulation, and synthesis of embedded electronic systems that ca...
Luigi Carro, Márcio Eduardo Kreutz, Fl&aacu...
IUI
1997
ACM
14 years 2 months ago
Providing User Support for Interactive Applications with FUSE
FUSE (Formal User Interface Specification Environment) is an integrated user interface development environment that offers tool-based support for all phases of the interface desig...
Frank Lonczewski
WER
2010
Springer
13 years 7 months ago
A Tool for Formal Feature Modeling Based on BDDs and Product Families Algebra
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...
Fadil Alturki, Ridha Khedri