2205 search results - page 152 / 441 » Mutation Operators for Specifications |
EDOC
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper describes the deployment of a Service Oriented Architecture in the specific context of the “Business Communities” i.e. Communities of heterogeneous actors that coop...
FTDCS
1997
IEEE
14 years 1 months ago
1997
IEEE
: This paper discusses the issues and promising approaches in (1) obtaining rigorous specifications of the quality-of-service (QoS) requirements associated with application functio...
DAC
1996
ACM
14 years 1 months ago
1996
ACM
Abstract -- This paper introduces a new HW/SW partitioning algorithm used in automating the instruction set processor design for pipelined ASIP (Application Specific Integrated Pro...
ISSTA
1996
ACM
14 years 1 months ago
1996
ACM
We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor. The design is cast, along with some expected properties...
ICCD
1992
IEEE
14 years 1 months ago
1992
IEEE
We describe a new synthesis procedure for designing asynchronous controllers from burst-mode specifications, a class of specifications allowing multiple input change fundamental m...