358 search results - page 27 / 72 » Introducing Formal Specification Methods in Industrial Pract... |
FMCAD
2008
Springer
13 years 9 months ago
2008
Springer
Abstract-- This work presents a technology-independent synthesis optimization that is effective in reducing the total number of state elements of a design. It works by identifying ...
ISOLA
2010
Springer
13 years 6 months ago
2010
Springer
During the design iterations of embedded systems, the schedulability analysis is an important method to verify whether the real-time constraints are satisfied. In order to achieve...
AC
2007
Springer
13 years 7 months ago
2007
Springer
The focus of this chapter is to review what is known about free and open source software development (FOSSD) work practices, development processes, project and community dynamics,...
ECBS
2003
IEEE
14 years 25 days ago
2003
IEEE
Agile Software practices place great emphasis on coding, yet coding is time-consuming, difficult, and the source of many errors. The paper describes a way in which the specificati...
WPES
2005
ACM
14 years 1 months ago
2005
ACM
Organizations in privacy-regulated industries (e.g. healthcare and financial institutions) face significant challenges when developing policies and systems that are properly align...