Sciweavers

Share
1515 search results - page 1 / 303
» Formal analysis of hardware requirements
Sort
View
DAC
2006
ACM
11 years 20 days ago
Formal analysis of hardware requirements
Formal languages are increasingly used to describe the functional requirements (specifications) of circuits. These requirements are used as a means to communicate design intent an...
Ingo Pill, Simone Semprini, Roberto Cavada, Marco ...
ECBS
2006
IEEE
143views Hardware» more  ECBS 2006»
10 years 5 months ago
Requirements Engineering for the Adviser Portal Bank System
The Adviser Portal (AP) is a new IT system for 15 Danish banks. The main goal of AP is to increase the efficiency and quality of bank advisers’ work. Requirements engineering fo...
Jens Bæk Jørgensen, Kristian Bisgaard...
ECBS
2004
IEEE
77views Hardware» more  ECBS 2004»
10 years 3 months ago
IRIS: A Semi-Formal Approach for Detecting Requirements Interactions
Mohamed Shehata, Armin Eberlein, Abraham O. Fapoju...
CAV
2010
Springer
223views Hardware» more  CAV 2010»
10 years 3 months ago
RATSY - A New Requirements Analysis Tool with Synthesis
Formal specifications play an increasingly important role in system design-flows. Yet, they are not always easy to deal with. In this paper we present RATSY, a successor of the R...
Roderick Bloem, Alessandro Cimatti, Karin Greimel,...
DATE
2003
IEEE
186views Hardware» more  DATE 2003»
10 years 5 months ago
Formal Methods for Integration of Automotive Software
Novel functionality, configurability and higher efficiency in automotive systems require sophisticated embedded software, as well as distributed software development between man...
Marek Jersak, Kai Richter, Rolf Ernst, Jörn-C...
books