1487 search results - page 7 / 298 » On Validating Engineering Design Decision Support Tools |
QSIC
2003
IEEE
15 years 2 months ago
2003
IEEE
The Abstract State Machine Language supports use-case oriented modeling in a faithful way. In this paper we discuss how the AsmL test tool, a new component of the AsmL tool environ...
ICSE
2004
IEEE-ACM
15 years 9 months ago
2004
IEEE-ACM
Financial companies, engineering firms and even scientists create increasingly larger spreadsheets and spreadsheet programs. The creators of large spreadsheets make errors and mus...
CHI
2010
ACM
15 years 4 months ago
2010
ACM
End-user programmers’ code is notoriously buggy. This problem is amplified by the increasing complexity of end users’ programs. To help end users catch errors early and reliab...
93
Voted
SE
2010
14 years 11 months ago
2010
: Numerous design decisions are made in model-driven software development which are mostly implicit and not documented properly. Hence, the design knowledge is usually 'in the...
APSEC
2000
IEEE
15 years 1 months ago
2000
IEEE
SOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, Data Flow Diagrams, and VDM-SL. As a method it is a com...