Sciweavers

1351 search results - page 159 / 271
» Towards a Spreadsheet Engineering
Sort
View
158
Voted
ICST
2009
IEEE
15 years 11 months ago
Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM)
The problem of testing from an extended finite state machine (EFSM) can be expressed in terms of finding suitable paths through the EFSM and then deriving test data to follow the ...
Abdul Salam Kalaji, Robert M. Hierons, Stephen Swi...
ICSR
2009
Springer
15 years 11 months ago
A Case Study of Variation Mechanism in an Industrial Product Line
Fudan Wingsoft Ltd. developed a product Line of Wingsoft Financial Management Systems (WFMS-PL) providing web-based financial services for employees and students at universities in...
Pengfei Ye, Xin Peng, Yinxing Xue, Stan Jarzabek
PRIMA
2009
Springer
15 years 11 months ago
Gaia Agents Implementation through Models Transformation
Gaia is a well-known Agent Oriented Software Engineering (AOSE) methodology. The emerging Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the trans...
Nikolaos I. Spanoudakis, Pavlos Moraitis
ASWEC
2008
IEEE
15 years 11 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
129
Voted
CSMR
2008
IEEE
15 years 11 months ago
Quantifying Maintainability in Feature Oriented Product Lines
Families of products are steadily emerging for distinct settings such as embedded systems, navigational systems, financial applications or even web applications. This shifts the a...
Gentzane Aldekoa, Salvador Trujillo, Goiuria Sagar...