Sciweavers

9006 search results - page 94 / 1802
» Modeling Software
Sort
View
HICSS
2002
IEEE
172views Biometrics» more  HICSS 2002»
15 years 9 months ago
Collaborative Software Development: A Discussion of Problem Solving Models and Groupware Technologies
Teamwork is always challenging. Adding the complication of problem solving and software design only amplifies this challenge. The challenges of developing software as a team can b...
Joanna DeFranco-Tommarello, Fadi P. Deek
FASE
2009
Springer
15 years 11 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
ICSE
2010
IEEE-ACM
15 years 6 months ago
SMT-based bounded model checking for multi-threaded software in embedded systems
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
Lucas Cordeiro
132
Voted
ICCSA
2009
Springer
15 years 11 months ago
YAO: A Software for Variational Data Assimilation Using Numerical Models
Variational data assimilation consists in estimating control parameters of a numerical model in order to minimize the misfit between the forecast values and some actual observatio...
Luigi Nardi, Charles Sorror, Fouad Badran, Sylvie ...
JOT
2010
144views more  JOT 2010»
15 years 3 months ago
REquirements, Aspects and Software Quality: the REASQ model
Object-oriented analysis and design have been more concerned with system functionality, neglecting non-functional aspects; the result is code which is tangled and difficult to main...
Isi Castillo, Francisca Losavio, Alfredo Matteo, J...