Sciweavers

1481 search results - page 84 / 297
» Enriching the Software Development Process by Formal Methods
Sort
View
131
Voted
FASE
2008
Springer
15 years 5 months ago
An Algebraic Semantics for MOF
Abstract. Model-driven development is a field within software engineering in which software artifacts are represented as models in order to improve productivity, quality, and cost ...
Artur Boronat, José Meseguer
124
Voted
ASWEC
2008
IEEE
15 years 10 months ago
Experiences on the Belief-Theoretic Integration of Para-consistent Conceptual Models
Viewpoint-based conceptual modeling is concerned with the identification of a complete and coherent set of software models that have been developed with the involvement of variou...
Ebrahim Bagheri, Ali A. Ghorbani
ECSA
2008
Springer
15 years 5 months ago
Automating Architecture Trade-Off Decision Making through a Complex Multi-attribute Decision Process
A typical software architecture design process requires the architects to make various trade-off architecture decisions. The architects need to consider different possibilities and...
Majid Makki, Ebrahim Bagheri, Ali A. Ghorbani
VLSISP
2008
100views more  VLSISP 2008»
15 years 3 months ago
Memory-constrained Block Processing for DSP Software Optimization
Digital signal processing (DSP) applications involve processing long streams of input data. It is important to take into account this form of processing when implementing embedded ...
Ming-Yung Ko, Chung-Ching Shen, Shuvra S. Bhattach...
PROFES
2001
Springer
15 years 7 months ago
Augmenting Experience Reports with Lightweight Postmortem Reviews
Many small and medium-sized companies that develop software experience the same problems repeatedly, and have few systems in place to learn from their own mistakes as well as their...
Torgeir Dingsøyr, Nils Brede Moe, Øy...