Sciweavers

5182 search results - page 226 / 1037
» COTS-Based Requirements Engineering
Sort
View
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
IR
2010
15 years 4 months ago
FIDJI: using syntax for validating answers in multiple documents
This article presents FIDJI, a question-answering (QA) system for French. FIDJI combines syntactic information with traditional QA techniques such as named entity recognition and t...
Véronique Moriceau, Xavier Tannier
AOSD
2011
ACM
15 years 2 months ago
Reducing combinatorics in testing product lines
A Software Product Line (SPL) is a family of programs where each program is defined by a unique combination of features. Testing or checking properties of an SPL is hard as it ma...
Chang Hwan Peter Kim, Don S. Batory, Sarfraz Khurs...
AMAST
2010
Springer
15 years 2 months ago
Integrating Maude into Hets
Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lac...
Mihai Codescu, Till Mossakowski, Adrián Rie...
CCE
2011
15 years 2 months ago
Cell-based dynamic heat exchanger models - Direct determination of the cell number and size
Large amounts of thermal energy are transferred to for heating or cooling in the industry as well as in the other sectors. Typical examples are crude oil preheating, ethylene plan...
Petar Sabev Varbanov, Jirí Jaromír K...