Sciweavers

4919 search results - page 313 / 984
» A Process-Ontological Model for Software Engineering
Sort
View
SAC
2009
ACM
15 years 11 months ago
Extending PASSI to model multi-agent systems product lines
Multi-agent System Product Lines (MAS-PLs) have emerged to integrate software product lines (SPLs) and agent-oriented software engineering techniques by incorporating their respec...
Ingrid Nunes, Uirá Kulesza, Camila Nunes, E...
FASE
2007
Springer
15 years 8 months ago
Finding Environment Guarantees
Abstract. When model checking a software component, a model of the environment in which that component is supposed to run is constructed. One of the major threats to the validity o...
Marsha Chechik, Mihaela Gheorghiu, Arie Gurfinkel
TASLP
2010
122views more  TASLP 2010»
14 years 11 months ago
Error Approximation and Minimum Phone Error Acoustic Model Estimation
Minimum phone error (MPE) acoustic parameter estimation involves calculation of edit distances (errors) between correct and incorrect hypotheses. In the context of large vocabulary...
Matt Gibson 0002, Thomas Hain
ICSE
2009
IEEE-ACM
16 years 5 months ago
Reasoning about edits to feature models
Features express the variabilities and commonalities among programs in a software product line (SPL). A feature model defines the valid combinations of features, where each combin...
Christian Kästner, Don S. Batory, Thomas Th&u...
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