Sciweavers

677 search results - page 50 / 136
» Rigorous Object-Oriented Analysis
Sort
View
CAD
2007
Springer
13 years 9 months ago
A formal theory for estimating defeaturing-induced engineering analysis errors
Defeaturing is a popular CAD/ CAE simplification technique where ‘small or irrelevant features’ are suppressed within a CAD model for speeding-up downstream processes, especia...
Sankara Hari Gopalakrishnan, Krishnan Suresh
IEEEICCI
2005
IEEE
14 years 3 months ago
Toward the development of cognitive task difficulty metrics to support intelligence analysis research
Intelligence analysis is a cognitively complex task that is the subject of considerable research aimed at developing methods and tools to aid the analysis process. To support such...
Frank L. Greitzer
HASE
1998
IEEE
14 years 2 months ago
Formal Specification in Collaborative Design of Critical Software Tools
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
David Coppit, Kevin J. Sullivan
ICEIS
2008
IEEE
14 years 4 months ago
A Metadata-Driven Approach for Aspect-Oriented Requirements Analysis
This paper presents a metadata-driven approach based on aspect-oriented requirements analysis. This approach has been defined in cooperation with the European Space Agency in the ...
Sérgio Agostinho, Ana Moreira, André...
CDC
2008
IEEE
105views Control Systems» more  CDC 2008»
14 years 4 months ago
Stability analysis for the Null-Space-based Behavioral control for multi-robot systems
— A wide number of mobile multi-robot systems makes use of behavior-based approaches to accomplish their missions. However, despite the advantages in term of flexibility and ver...
Gianluca Antonelli, Filippo Arrichiello, Stefano C...