Identification of Errors in Mathematical Symbolism and Notation: Implications for Software Design

Mathematical Software – ICMS 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-96418-8_35 ◽

2018 ◽

pp. 297-304 ◽

Author(s):

Seyeon Kim ◽

Marco Pollanen ◽

Michael G. Reynolds ◽

Wesley S. Burr

Keyword(s):

Software Design ◽

Mathematical Symbolism

Download Full-text

Human factors guidelines for computer software design

PsycEXTRA Dataset ◽

10.1037/e574082012-008 ◽

1983 ◽

Author(s):

Olga Towstopiat

Keyword(s):

Human Factors ◽

Software Design ◽

Computer Software

Download Full-text

Autochthonous change: Self-renewal through open software design.

The Behavior Analyst Today ◽

10.1037/h0100053 ◽

2005 ◽

Vol 6 (1) ◽

pp. 13-26

Author(s):

Charles Hedbring

Keyword(s):

Software Design ◽

Download Full-text

General hardware and software design considerations about the satellite on-board ATM switch

57th International Astronautical Congress ◽

10.2514/6.iac-06-b3.5.03 ◽

2006 ◽

Author(s):

Tang Jin-Fei ◽

Yan Zhong-Wen

Keyword(s):

Software Design ◽

Design Considerations

Download Full-text

VISUAL OBJECTS INTERACTION MATHEMATICAL PRESENTATION TO SOLVE THE PROBLEM OF SOFTWARE DESIGN AUTOMATION FOR COMPUTER INFORMATION SYSTEMS OF TECHNOLOGICAL PRODUCTION PREPARATION

Scientific papers of Donetsk National Technical University”. Series: “Computer engineering and automation ◽

10.31474/2075-4272-2018-1-31-24-31 ◽

2018 ◽

Vol 1 (31) ◽

pp. 24-31

Author(s):

V. Yevsieiev ◽

Keyword(s):

Information Systems ◽

Software Design ◽

Design Automation ◽

Visual Objects ◽

Computer Information Systems ◽

Technological Production ◽

Production Preparation ◽

Mathematical Presentation

Download Full-text

Specification for the representation of quality rules and metrics for hardware and software design languages

10.3403/02347308u ◽

2015 ◽

Keyword(s):

Software Design ◽

Design Languages

Download Full-text

Survey of software design for testability

Journal of Computer Applications ◽

10.3724/sp.j.1087.2008.02915 ◽

2009 ◽

Vol 28 (11) ◽

pp. 2915-2918 ◽

Author(s):

Jian-ping FU ◽

Min-yan LU

Keyword(s):

Software Design ◽

Design For Testability

Download Full-text

Software Design Methods for Real-Time Systems

10.21236/ada235701 ◽

1989 ◽

Author(s):

Hassan Gomaa

Keyword(s):

Real Time ◽

Software Design ◽

Design Methods ◽

Real Time Systems ◽

Download Full-text

Software Design Document for the Oceanographic and Atmospheric Master Library SURF 3.1 Forecasting Program

10.21236/ada383825 ◽

2000 ◽

Author(s):

Daniel A. Osiecki ◽

Lari N. Migues ◽

Marshall D. Earle ◽

Y. L. Hsu

Keyword(s):

Software Design ◽

Design Document

Download Full-text

Software Design Description for the Simulating Waves Nearshore Model (SWAN)

10.21236/ada409177 ◽

2002 ◽

Author(s):

Richard Allard ◽

Erick Rogers ◽

Suzanne N. Carroll ◽

Kate V. Rushing

Keyword(s):

Software Design

Download Full-text

A Distributed Flight Software Design for Satellite Formation Flying Control

10.21236/ada451883 ◽

2003 ◽

Author(s):

Joseph B. Mueller ◽

Margarita Brito

Keyword(s):

Software Design ◽

Formation Flying ◽

Satellite Formation Flying ◽

Satellite Formation

Download Full-text