Sciweavers

3045 search results - page 62 / 609
» Formal Approaches to Software Architecture
Sort
View
ICSE
2003
IEEE-ACM
15 years 11 months ago
Improving software usability through architectural patterns
This paper presents an approach for improving final software system usability by designing for usability, in particular by addressing usability issues in the software architecture...
Ana María Moreno, Maria Isabel Sánch...
ASE
1998
152views more  ASE 1998»
14 years 10 months ago
Apel: A Graphical Yet Executable Formalism for Process Modeling
Software process improvement requires high level formalisms for describing project-specific, organizational and quality aspects. These formalisms must be convenient not only for ...
Samir Dami, Jacky Estublier, Mahfoud Amiour
QOSA
2007
Springer
15 years 4 months ago
A Bayesian Model for Predicting Reliability of Software Systems at the Architectural Level
: Modern society relies heavily on complex software systems for everyday activities. Dependability of these systems thus has become a critical feature that determines which product...
Roshanak Roshandel, Nenad Medvidovic, Leana Golubc...
SIGSOFT
2010
ACM
14 years 8 months ago
From requirements to partial behavior models: an iterative approach to incremental specification refinement
In this thesis, I will improve the state-of-the-art for capturing, analyzing, and refining functional requirements by providing support for synthesizing, analyzing, and refining M...
Ivo Krka
JSS
2006
88views more  JSS 2006»
14 years 10 months ago
A formal representation of functional size measurement methods
Estimating software size is a difficult task that requires a methodological approach. Many different methods that exist today use distinct abstractions to depict a software system...
Marjan Hericko, Ivan Rozman, Ales Zivkovic