Sciweavers

129 search results - page 12 / 26
» Test Adequacy Assessment for UML Design Model Testing
Sort
View
AIPS
2007
15 years 1 months ago
itSIMPLE 2.0: An Integrated Tool for Designing Planning Domains
A great effort has been made today in the area of Artificial Intelligence for defining reliable automated planning systems that can be applied in real life applications. That le...
Tiago Stegun Vaquero, Victor Romero, Flavio Tonida...
UML
2001
Springer
15 years 4 months ago
Agile Modeling: A Brief Overview
: Agile Modeling (AM) is a practice-based methodology for effective modeling of software-based systems. Where the Unified Modeling Language (UML) defines a subset of the modeling t...
Scott W. Ambler
HICSS
2008
IEEE
130views Biometrics» more  HICSS 2008»
15 years 6 months ago
An Interview Protocol for Discovering and Assessing Collaboration Engineering Opportunities
Collaboration Engineering (CE) projects can run for months and can require substantial expenditures of effort and resources. CE is an approach to designing collaborative work prac...
Robert O. Briggs, Alanah J. Davis, John D. Murphy
ASWEC
2004
IEEE
15 years 3 months ago
An Environment for Automated Performance Evaluation of J2EE and ASP.NET Thin-client Architectures
Assessing the likely run-time performance of applications using thin-client architectures during their design is very difficult. We describe SoftArch/Thin, a thin-client test-bed ...
John C. Grundy, Zhong Wei, Radu Nicolescu, Yuhong ...
DAC
2010
ACM
15 years 3 months ago
Coverage in interpolation-based model checking
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
Hana Chockler, Daniel Kroening, Mitra Purandare