Does ACM’s Code of Ethics Change Ethical Decision Making in Software Development? Andrew McNamara Justin Smith

Source URL: people.engr.ncsu.edu

• Ethics
• Philosophy
• Emerging technologies
• Human behavior
• Professional ethics
• Codes of conduct
• Philosophy of life
• Business ethics
• Ethical decision
• Computer ethics
• Self-driving car
• Ethical code

AetherWorks 501 Fifth Avenue, New York, NYSENIOR SOFTWARE ENGINEER AETHERWORKS AetherWorks is a Software Research & Venture Development firm. We have been located on Bryant Park for the last 7 years where we have

Source URL: www.aetherworks.com

• Computing
• Engineering
• Software engineering
• Software testing
• Information and communications technology
• Product development
• Software development
• Software engineer
• Test automation
• Software quality

Designware: Software Development by Renement Douglas R. Smith Kestrel Institute, Palo Alto, CaliforniaUSA Abstract

Source URL: www.kestrel.edu

• Abstract algebra
• Algebra
• Mathematics
• Category theory
• Functors
• Morphism
• Category
• Sheaf
• Limit
• Pushout
• Cone
• Diagram

Practical Algorithms for Incremental Software Development Environments Tim A. Wagner March 10, 1998 Preface

Source URL: www2.eecs.berkeley.edu

• Programming language implementation
• Compiler construction
• Computing
• Software engineering
• Parsing
• Parsing algorithms
• SYNTAX
• LR parser
• Deterministic parsing
• Identifier

1 Roadmap for the Development of a Linear Algebra Library for Exascale Computing SLATE: Software for Linear Algebra Targeting Exascale

Source URL: www.icl.utk.edu

• Concurrent computing
• Computing
• Computer programming
• Parallel computing
• Numerical linear algebra
• Numerical software
• Application programming interfaces
• Fortran
• OpenACC
• Math Kernel Library
• OpenMP
• ScaLAPACK

DOMAIN SPECIFIC LANGUAGES FOR EFFICIENT SATELLITE CONTROL SOFTWARE DEVELOPMENT Andreas Wortmann, Martin Beet OHB System AG, Universitätsallee 27-29, 28359 Bremen, Germany, Email: Tel.: +

Source URL: mbeddr.com

• Computing
• Software engineering
• Software architecture
• Information and communications technology
• Domain-specific language
• Software development
• Software
• Component-based software engineering
• Application software

Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process using UPPAAL Jan Toennemann1 , Andreas Rausch1 , Falk Howar2 , and Benjamin Cool3 1

Source URL: www.falkhowar.de

• Real-time computing
• Scheduling
• Technology
• Computer architecture
• System software
• Embedded operating systems
• Automotive software
• OSEK
• Worst-case execution time
• Real-time operating system
• Uppaal Model Checker
• Model checking

OCTO CONSULTING GROUP NAMES TWO NEW VICE PRESIDENTS TO LEAD ITS CIVILIAN AND COMMERCE DIVISIONS New Octo VPs Simon Godwin and Craig Summers bring a wealth of strategic experience across software development and IT operat

Source URL: www.octoconsulting.com

• Software development
• Software development process
• Agile software development
• Software project management
• Capability Maturity Model Integration
• DevOps

Composition by Colimit and Formal Software Development

Source URL: www.kestrel.edu

• Category theory
• Mathematics
• Functors
• Abstract algebra
• Algebra
• Limit
• Dual
• Pushout
• Span
• Universal property
• Morphism
• Diagram

MODELISAR An international standard for systems- and embedded software design in vehicles Modelling is not new in automotive systems development Impact highlights

Source URL: itea3.org