Sciweavers

1136 search results - page 147 / 228
» A Multi-variant Approach to Software Process Modelling
Sort
View
132
Voted
IWSM
2007
Springer
15 years 8 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...
UML
2001
Springer
15 years 7 months ago
An Axiomatic Formalization of UML Models
: Though it is widely recognized that object-oriented methodologies are most effective in developing large scale software, it is still dif cult to apply high level computer support...
Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama
APSEC
2004
IEEE
15 years 6 months ago
A Systematic Method to Instantiate Core Assets in Product Line Engineering
Product line engineering (PLE) is one of the recent and effective reuse approaches, and it consists of two processes; framework engineering and application engineering. Framework ...
Soo Dong Kim, Soo Ho Chang, Chee Won Chang
AC
1999
Springer
15 years 6 months ago
Integrating Group Communication with Transactions for Implementing Persistent Replicated Objects
A widely used computational model for constructing fault-tolerant distributed applications employs atomic transactions for controlling operations on persistent objects. There has ...
Mark C. Little, Santosh K. Shrivastava
149
Voted
ICCAD
2007
IEEE
165views Hardware» more  ICCAD 2007»
15 years 6 months ago
Automated refinement checking of concurrent systems
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
Sudipta Kundu, Sorin Lerner, Rajesh Gupta