Sciweavers

1199 search results - page 10 / 240
» Software Verification and Software Engineering a Practitione...
Sort
View
ICFEM
2009
Springer
15 years 10 months ago
European Train Control System: A Case Study in Formal Verification
André Platzer, Jan-David Quesel
106
Voted
AMAST
2004
Springer
15 years 7 months ago
Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs
Bertrand Jeannet, Wendelin Serwe
SOMET
2007
15 years 5 months ago
Software Engineering Practices: An Auditor's Perspective
This report details part of the results of five software audits that were done to evaluate various aspects of the quality in five very big software projects. One result of our work...
Krzysztof Sacha
144
Voted
GRC
2008
IEEE
15 years 4 months ago
Granular Problem Solving and Software Engineering
Granulation is an important component of Granular Computing (GrC) as a problem solving paradigm. Specification and regulation of granulation are necessary in helping researchers a...
Haibin Zhu