Skip to content
  • Architecture and Hardware
  • Artificial Intelligence and Machine Learning
  • Computer History
  • Computing Applications
  • Computing Profession
  • Data and Information
  • Education
  • HCI
  • Philosophy of Computing
  • Security and Privacy
  • Society
  • Software Engineering and Programming Languages
  • Systems and Networking
  • Theory
August 2025 cover

Latest Issue

August 2025, Vol. 68 No. 8

Previous Issue

July 2025, Vol. 68 No. 7
Explore the archive
Search
  • Settings
  • Sign Out
Sign In
Join ACM

Topics

  • Architecture and Hardware
  • Artificial Intelligence and Machine Learning
  • Computer History
  • Computing Applications
  • Computing Profession
  • Data and Information
  • Education
  • HCI
  • Philosophy of Computing
  • Security and Privacy
  • Society
  • Software Engineering and Programming Languages
  • Systems and Networking
  • Theory

Sections

  • Research and Advances
  • Opinion
  • Practice
  • News
  • Research Highlights
  • Careers

Magazine

  • Latest Issue
  • Magazine Archive
  • Editorial Staff and Board
  • Submit an Article
  • Alerts & Feeds
  • Author Guidelines

CACM Web Account

Membership in ACM includes a subscription to Communications of the ACM (CACM), the computing industry's most trusted source for staying connected to the world of advanced computing.

Sign In Sign Up

Communications of the ACM

  • About Us
  • Frequently Asked Questions
  • Contact Us

Follow Us

  • CACM on Twitter
  • CACM on Reddit
  • CACM on LinkedIn

Vijay K. Vaishnavi

Research and Advances Dec 1 1997

A formal specifications maturity model

Computing Applications

Advertisement

Author Archives

Research and Advances Oct 1 1994

Strategies for incorporating formal specifications in software development

Computing Applications
Research and Advances Sep 1 1992

Managing emerging software technologies: a technology transfer framework

Computing Applications
Research and Advances Sep 1 1992

Analysis and modeling in software development

Artificial Intelligence and Machine Learning

Shape the Future of Computing

ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.

Get Involved
  • CACM on Twitter
  • CACM on Reddit
  • CACM on LinkedIn

Topics

  • Architecture and Hardware
  • Artificial Intelligence and Machine Learning
  • Computer History
  • Computing Applications
  • Computing Profession
  • Data and Information
  • Education
  • HCI
  • Philosophy of Computing
  • Security and Privacy
  • Society
  • Software Engineering and Programming Languages
  • Systems and Networking
  • Theory

Magazine

  • Latest Issue
  • Magazine Archive
  • Editorial Staff and Board
  • Submit an Article
  • Alerts & Feeds
  • Author Guidelines

Communications of the ACM

  • About Us
  • Frequently Asked Questions
  • Contact Us
  • For Advertisers
  • Join ACM

© 2025 Communications of the ACM. All Rights Reserved.

  • Cookie Notice
  • Privacy Policy