Sciweavers

1304 search results - page 113 / 261
» Model-Driven Engineering for Requirements Analysis
Sort
View
DAC
1995
ACM
15 years 1 months ago
Automatic Clock Abstraction from Sequential Circuits
Our goal is to transform a low-level circuit design into a more representation. A pre-existing tool, Tranalyze [4], takes a switch-level circuit and generates a functionally equiv...
Samir Jain, Randal E. Bryant, Alok Jain
COMPSAC
2002
IEEE
15 years 3 months ago
Formalizing Incremental Design in Real-time Area: SCTL/MUS-T
Achievement of quality in software design, while never easy, is made more difficult by the inherent complexity of hard real-time (HRT) design. Furthermore, timing requirements in...
Ana Fernández Vilas, José J. Pazos A...
109
Voted
ICSE
2010
IEEE-ACM
15 years 2 months ago
StakeNet: using social networks to analyse the stakeholders of large-scale software projects
Many software projects fail because they overlook stakeholders or involve the wrong representatives of significant groups. Unfortunately, existing methods in stakeholder analysis...
Soo Ling Lim, Daniele Quercia, Anthony Finkelstein
SETP
2007
14 years 11 months ago
Dimensional Inference Using Symbol Lives
Scientific equations embedded in computer programs must obey the rules for dimensional consistency. Many efforts have been made to enforce these rules within computer programs. So...
Brian Farrimond, John Collins
DATE
2003
IEEE
186views Hardware» more  DATE 2003»
15 years 3 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...