Sciweavers

6751 search results - page 413 / 1351
» Engineering Quality Requirements Using Quality Models
Sort
View
ICFEM
2003
Springer
16 years 14 hour ago
Formalization, Testing and Execution of a Use Case Diagram
Abstract. Errors in a requirements model have prolonged detrimental effects on reliability, cost, and safety of a software system. It is very costly to fix these errors in later ...
Wuwei Shen, Shaoying Liu
APSEC
2008
IEEE
16 years 1 months ago
Management of Composites in Software Engineering Environments
Design and development scalability, in any engineering, requires information hiding and a specific composition mechanism in which composite items are made-up of other items. This ...
Jacky Estublier, Germán Vega, Thomas Levequ...
GECCO
2003
Springer
182views Optimization» more  GECCO 2003»
16 years 19 hour ago
Modeling the Search Landscape of Metaheuristic Software Clustering Algorithms
Abstract. Software clustering techniques are useful for extracting architectural information about a system directly from its source code structure. This paper starts by examining ...
Brian S. Mitchell, Spiros Mancoridis
ISSTA
2006
ACM
16 years 23 days ago
Using model checking with symbolic execution to verify parallel numerical programs
We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving floating-point arithmetic. The me...
Stephen F. Siegel, Anastasia Mironova, George S. A...
VMV
2003
174views Visualization» more  VMV 2003»
15 years 8 months ago
Interactive Visualization of Large Finite Element Models
198 Triangles Std. Wire Frame 2 Triangles 32×32 Texture Finite element models used in crash worthiness simulations now contain more than one million mostly quadrilateral elements...
Dirc Rose, Thomas Ertl