486 search results - page 14 / 98 » Sound Methods and Effective Tools for Engineering Modeling a... |
214
Voted
OOIS
2001
Springer
15 years 7 months ago
2001
Springer
The accurate estimation of software development effort has major implications for the management of software development in the industry. Underestimates lead to time pressures tha...
112
Voted
IEEEARES
2007
IEEE
15 years 9 months ago
2007
IEEE
Whether a particular computing installation meets its security goals depends on whether the administrators can create a policy that expresses these goals—security in practice re...
123
click to vote
ICFEM
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
133
click to vote
TASE
2008
IEEE
15 years 2 months ago
2008
IEEE
Abstract--Cluster tools are widely used as semiconductor manufacturing equipment. While throughput analysis and scheduling of single-cluster tools have been well-studied, research ...
155
Voted
HICSS
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract: Software product line engineering is an established methodology for fast and effective development of software-intensive systems and services. To reap maximum benefits fr...