Sciweavers

3763 search results - page 472 / 753
» Component-Based Software Engineering Processes
Sort
View
SSIRI
2010
15 years 5 months ago
Modelling and Implementing Complex Systems with Timebands
—We describe how to use a timeband architecture to model real-time requirements. The architecture separates requirements that use different time units, producing a family of mode...
Jim Woodcock, Marcel Oliveira, Alan Burns, Kun Wei
210
Voted
WER
2010
Springer
15 years 4 months ago
A Tool for Formal Feature Modeling Based on BDDs and Product Families Algebra
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...
Fadil Alturki, Ridha Khedri
ICFEM
2009
Springer
15 years 4 months ago
Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...
Kyungmin Bae, Peter Csaba Ölveczky, Thomas Hu...
ICSEA
2009
IEEE
15 years 4 months ago
Integrating IT Service Management within the Enterprise Architecture
-- Published work in the IT services area is generally centered on the description of management best practices or specific technological issues. There is a lack of empirical studi...
Anacleto Correia, Fernando Brito e Abreu
CSMR
2010
IEEE
15 years 1 months ago
InCode: Continuous Quality Assessment and Improvement
While significant progress has been made over the last ten years in the research field of quality assessment, developers still can't take full advantage of the benefits of the...
Radu Marinescu, George Ganea, Ioana Verebi