XRDS

Crossroads The ACM Magazine for Students

Sign In

Association for Computing Machinery

Articles Tagged: Software and its engineering

Articles & Features

What's formal software verification?

DEPARTMENT: Hello world

What's formal software verification?

By Oana Niculaescu, July 2019

PDF | HTML | In the Digital Library

Asclepius will see you now

DEPARTMENT: Accolades

Asclepius will see you now

By Dipika Rajesh, June 2017

PDF | HTML | In the Digital Library

Why to get involved in the open source community?

DEPARTMENT: Blogs

Why to get involved in the open source community?

By Maria Kechagia, October 2014

PDF | HTML | In the Digital Library

Creativity in code

SECTION: Features

Creativity in code

Mediums such as fine art and poetry are common subjects in computational creativity---but what about something closer to home? Can computers be as creative in programming as they are in poetry?

By Michael Cook, June 2013

PDF | HTML | In the Digital Library

Five programming tips

COLUMN: Advice

Five programming tips

By Jason Thibodeau, September 2010

PDF | HTML | In the Digital Library

Getting and staying agile

SECTION: Features

Getting and staying agile

The human side of software development thrives on face-to-face interaction and teamwork.

By David L. Largent, September 2010

PDF | HTML | In the Digital Library

The critical voice

By Frank Liechtenstein, September 2007

PDF | HTML | In the Digital Library

Introduction

By Jerry Guo, August 2006

PDF | HTML | In the Digital Library

Why are APIs difficult to learn and use?

By Christopher Scaffidi, August 2006

PDF | HTML | In the Digital Library

Architecture-centric development

By John C. Georgas, Eric M. Dashofy, Richard N. Taylor, August 2006

PDF | HTML | In the Digital Library

Introduction

By Jerry Guo, May 2006

PDF | HTML | In the Digital Library

Introduction

By William Stevenson, October 2005

PDF | HTML | In the Digital Library

Introduction

By William Stevenson, December 2002

PDF | HTML | In the Digital Library

Explanation component of software system

Explanation is an important feature that needs to be integrated into software products. Early software that filled the horizontal software market (such as word processors) contained help systems. More specialized systems, known as expert systems, were developed to produce solutions that required specific domain knowledge of the problem being solved. The expert systems initially produced results that were consistent with the results produced by experts, but the expert systems only mimicked the rules the experts outlined. The decisions provided by expert systems include no justification, thus causing users to doubt the results reported by the system. If the user was dealing with a human expert, he could ask for a line of reasoning used to draw the conclusion. The line of reasoning provided by the human expert could then be inspected for discrepancies by another expert or verified in some other manner. Software systems need better explanations of how to use them and how they produce results. This will allow the users to take advantage of the numerous features being provided and increase their trust in the software product.

By Bruce A. Wooley, September 1998

PDF | HTML | In the Digital Library

Programming contest strategies

By Fabian Ernst, Jeroen Moelands, Seppo Pieterse, November 1996

PDF | HTML | In the Digital Library

Objective View Point: statics

By G. Bowden Wise, April 1996

PDF | HTML | In the Digital Library

An interview with Brad Templeton

By George E. Hatoun, Brad Templeton, February 1996

PDF | HTML | In the Digital Library

Software engineering

By Dan Ghica, February 1996

PDF | HTML | In the Digital Library

It's now or never

By C. Fidge, February 1996

PDF | HTML | In the Digital Library

Dependency diagrams

A method of illustrating program structure by showing how sections depend on each other is presented. This suggests an intuitive metric for program partitioning, which is developed with supporting theory.

By Mark Ray, February 1996

PDF | HTML | In the Digital Library

The Fox Project

By Jeremy Buhler, September 1995

PDF | HTML | In the Digital Library

Editorial

By Saveen Reddy, December 1994

PDF | HTML | In the Digital Library

Interview! Stephen R. Schach

By Saveen Reddy, Stephen R. Schach, December 1994

PDF | HTML | In the Digital Library