Sciweavers

9974 search results - page 256 / 1995
» Software Interconnection Models
Sort
View
FASE
2009
Springer
16 years 1 months ago
Proving Consistency of Pure Methods and Model Fields
Abstract. Pure methods and model fields are useful and common speci
K. Rustan M. Leino, Ronald Middelkoop
SCAM
2009
IEEE
16 years 1 months ago
Engineering Abstractions in Model Checking and Testing
ing Abstractions in Model Checking and Testing Michael Achenbach Klaus Ostermann
Michael Achenbach, Klaus Ostermann
OMER
2001
15 years 8 months ago
UML for Embedded Real-time Systems and the UML Extensions by ARTISAN Software Tools
: Modelling software using the Unified Modelling Language (UML) also for embedded real-time systems (ERS) becomes more and more popular since the complexity of these systems increa...
Andreas Korff
IAJIT
2010
154views more  IAJIT 2010»
15 years 5 months ago
Impact of CMMI Based Software Process Maturity on COCOMO II's Effort Estimation
: The software capability maturity model has become a popular model for enhancing software development processes with the goal of developing high-quality software within budget and...
Majed Al Yahya, Rodina Ahmad, Sai Lee
WSC
1998
15 years 8 months ago
ALPHA/SIM Simulation Software Tutorial
ALPHA/Sim is a general-purpose, discrete-event simulation tool. ALPHA/Sim allows a user to graphically build a simulation model, enter input data via integrated forms, execute the...
Kendra E. Moore, Scott D. Hammer