Sciweavers

1865 search results - page 284 / 373
» A Rule-Based, Integrated Modelling Approach for Object-Orien...
Sort
View
118
Voted
IWSM
2007
Springer
15 years 6 months ago
Non-Functional Requirements Size Measurement Method (NFSM) with COSMIC-FFP
Abstract. Non-functional requirements (NFRs) of software systems are an important source of uncertainty in effort estimation. Furthermore, quantitatively approaching NFR early in a...
Mohamad Kassab, Olga Ormandjieva, Maya Daneva, Ala...
IFM
2000
Springer
104views Formal Methods» more  IFM 2000»
15 years 4 months ago
Structuring Real-Time Object-Z Specifications
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
Graeme Smith, Ian J. Hayes
FECS
2007
138views Education» more  FECS 2007»
15 years 2 months ago
Computing Branches Out: On Revitalizing Computing Education
Computing professionals are employed in so many different ways that it is difficult to even define the common foundation that all of them should master; however, a single degree ...
Ljubomir Perkovic, Amber Settle
PAA
2010
14 years 7 months ago
Multiple Condensation filters for road detection and tracking
In this paper, we present a novel and robust road tracking system for vision-based personal navigation. Novelty of the work includes the use of multiple Condensation filters to tra...
Li Bai, Yan Wang, Michael C. Fairhurst
ICSE
2008
IEEE-ACM
16 years 1 months ago
Clone detection in automotive model-based development
Model-based development is becoming an increasingly common development methodology. In important domains like embedded systems already major parts of the code are generated from m...
Benjamin Hummel, Bernhard Schätz, Elmar J&uum...