[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.1145/225014.225041acmconferencesArticle/Chapter ViewAbstractPublication PagesicseConference Proceedingsconference-collections
Article
Free access

The world and the machine

Published: 23 April 1995 Publication History
First page of PDF

References

[1]
Christopher Alexander; The Timeless Way of Building; Oxford University Press, 1979.
[2]
Pierre-Arnoul de Marneffe; Holon programming:A survey; Universit6 de Lige, Service Informatique, 1973. Quoted in {Knuth74}.
[3]
Erich Gamma. Richard Helm, Ralph Johnson, John Vlissides; Design Patterns: Elements of Reusable Object-Oriented Software; Addison-Wesley 1994.
[4]
Donald E Knuth; Structured Programming with go to Statements; ACM Computing Surveys Volume 6 Number 4 pages 261-301, December 1974.
[5]
Leslie Lamport; A Simple Approach to Specifying Concurrent Systems; Comm ACM Volume 32 Number 1 pages 32-45, January 1989.
[6]
John von Neumann and Oskar Morgenstern; Theory of Games and Economic Behaviour; Princeton University Press, 1944.
[7]
Hermann Weyl; The Mathematical Way of Thinking. Princeton University Press.

Cited By

View all
  • (2024)Stakeholder Preference Extraction From ScenariosIEEE Transactions on Software Engineering10.1109/TSE.2023.333326550:1(69-84)Online publication date: 1-Jan-2024
  • (2024)Patterns of Inquiry in a Community Forum for Legal Compliance with Privacy Law2024 IEEE 32nd International Requirements Engineering Conference Workshops (REW)10.1109/REW61692.2024.00039(251-259)Online publication date: 24-Jun-2024
  • (2024)An Environmentally Complex Requirement for Safe Separation Distance Between UAVs2024 IEEE 32nd International Requirements Engineering Conference Workshops (REW)10.1109/REW61692.2024.00028(166-175)Online publication date: 24-Jun-2024
  • Show More Cited By

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences
ICSE '95: Proceedings of the 17th international conference on Software engineering
April 1995
336 pages
ISBN:0897917081
DOI:10.1145/225014
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 April 1995

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Article

Conference

ICSE95
Sponsor:
ICSE95: 17th International Conference on Software Engineering
April 24 - 28, 1995
Washington, Seattle, USA

Acceptance Rates

ICSE '95 Paper Acceptance Rate 28 of 155 submissions, 18%;
Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)644
  • Downloads (Last 6 weeks)78
Reflects downloads up to 04 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2024)Stakeholder Preference Extraction From ScenariosIEEE Transactions on Software Engineering10.1109/TSE.2023.333326550:1(69-84)Online publication date: 1-Jan-2024
  • (2024)Patterns of Inquiry in a Community Forum for Legal Compliance with Privacy Law2024 IEEE 32nd International Requirements Engineering Conference Workshops (REW)10.1109/REW61692.2024.00039(251-259)Online publication date: 24-Jun-2024
  • (2024)An Environmentally Complex Requirement for Safe Separation Distance Between UAVs2024 IEEE 32nd International Requirements Engineering Conference Workshops (REW)10.1109/REW61692.2024.00028(166-175)Online publication date: 24-Jun-2024
  • (2024)Requirements Satisfiability with In-Context Learning2024 IEEE 32nd International Requirements Engineering Conference (RE)10.1109/RE59067.2024.00025(168-179)Online publication date: 24-Jun-2024
  • (2024)Specification overfitting in artificial intelligenceArtificial Intelligence Review10.1007/s10462-024-11040-658:2Online publication date: 20-Dec-2024
  • (2023)Enforcing Resilience in Cyber-physical Systems via Equilibrium Verification at RuntimeACM Transactions on Autonomous and Adaptive Systems10.1145/358436418:3(1-32)Online publication date: 20-Sep-2023
  • (2023)Adapting Specifications for Reactive Controllers2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)10.1109/SEAMS59076.2023.00012(1-12)Online publication date: May-2023
  • (2023)Supporting Digital Twins Systems Integrating the MERODE Approach2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)10.1109/MODELS-C59198.2023.00079(449-458)Online publication date: 1-Oct-2023
  • (2023)Robustification of Behavioral Designs against Environmental Deviations2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)10.1109/ICSE48619.2023.00046(423-434)Online publication date: May-2023
  • (2023)Enhancing the Formal Verification of Train Control Systems based on Decomposition2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC)10.1109/COMPSAC57700.2023.00279(1804-1809)Online publication date: Jun-2023
  • Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media