Sciweavers

2206 search results - page 64 / 442
» Software Engineering and Modeling Education: Problems and So...
Sort
View
VLSI
2007
Springer
16 years 8 days ago
Incremental placement for structured ASICs using the transportation problem
— While physically driven synthesis techniques have proven to be an effective method to meet tight timing constraints required by a design, the incremental placement step during ...
Andrew C. Ling, Deshanand P. Singh, Stephen Dean B...
CORR
2010
Springer
171views Education» more  CORR 2010»
15 years 6 months ago
Reliable Mining of Automatically Generated Test Cases from Software Requirements Specification (SRS)
Writing requirements is a two-way process. In this paper we use to classify Functional Requirements (FR) and Non Functional Requirements (NFR) statements from Software Requirement...
Lilly Raamesh, G. V. Uma
CORR
2002
Springer
117views Education» more  CORR 2002»
15 years 6 months ago
Contextual Normalization Applied to Aircraft Gas Turbine Engine Diagnosis
Diagnosing faults in aircraft gas turbine engines is a complex problem. It involves several tasks, including rapid and accurate interpretation of patterns in engine sensor data. W...
Peter D. Turney, Michael Halasz
ADAEUROPE
2001
Springer
15 years 10 months ago
Building Formal Requirements Models for Reliable Software
Requirements engineering (RE) is concerned with the elicitation of the goals to be achieved by the system envisioned, the operationalization of such goals into specifications of se...
Axel van Lamsweerde
ECSA
2010
Springer
15 years 4 months ago
Dynamic Adaptive Service Architecture - Towards Coordinated Service Composition
With software services becoming a strategic capability for the software sector, software architecture needs to address integration problems to help services to collaborate and coor...
Claus Pahl