Software: Barrier or Frontier?

Software: Barrier or Frontier?

Detaylı Bibliyografya
Yazar:	Hoare, C
Materyal Türü:	Record
Baskı/Yayın Bilgisi:	2015

Benzer Materyaller

On the Frontiers of Software Science and Software Engineering
Yazar:: Yingxu Wang
Baskı/Yayın Bilgisi: (2022-03-01)

Advanced software engineering : expanding the frontiers of software technology /
Yazar:: International Workshop on Advanced Software Engineering (1st : 2006 : Santiago, Chile), ve diğerleri
Baskı/Yayın Bilgisi: (2006)

The Quality of Software
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (2015)

Software Engineering
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1978)

Software Engineering
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1975)

Software Engineering
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1976)

An Ideal of Software Engineering
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (2015)

All in the Mind—but Not in the Software
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (2015)

An Education for the Software Engineer
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1982)

Report of a Software Failure
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (2015)

The final frontier – crossing the blood‐brain barrier
Yazar:: William S. Sly, ve diğerleri
Baskı/Yayın Bilgisi: (2013-05-01)

Formal Methods in Software Engineering
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1986)

Software Design: A Parable
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1974)

The ideal of verified software
Yazar:: Hoare, T
Baskı/Yayın Bilgisi: (2006)

The Ideal of Verified Software
Yazar:: Hoare, T
Baskı/Yayın Bilgisi: (2006)

The Engineering of Software: A Startling Contradiction
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1976)

Assertions in Modern Software Engineering Practice
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (2002)

Software Engineering: A Keynote Address
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1978)

Hardware and Software: The Closing Gap
Yazar:: Hoare, C, ve diğerleri
Baskı/Yayın Bilgisi: (1994)

Verified Software: Theories‚ Tools‚ Experiments
Yazar:: Hoare, T
Baskı/Yayın Bilgisi: (2008)

How Did Software Get So Reliable Without Proof?
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1996)

Preface to special issue on software verification
Yazar:: Hoare, C, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Beyond barriers fresh frontiers: selected readings on languages, literatures, and cultures
Baskı/Yayın Bilgisi: (2005)

Beyond barriers fresh frontiers: selected readings on languages, literatures and cultures
Baskı/Yayın Bilgisi: (2005)

Ethics and cultural barriers to communication: Net frontiers of the organization in the digital age
Yazar:: Felipe Chibás Ortiz
Baskı/Yayın Bilgisi: (2016-11-01)

Software for the frontiers of quantum chemistry: An overview of developments in the Q-Chem 5 package
Yazar:: Van Voorhis, Troy
Baskı/Yayın Bilgisi: (2022)

Software for the frontiers of quantum chemistry: An overview of developments in the Q-Chem 5 package
Yazar:: Epifanovsky, E, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Web-Based Software Integration For Dissemination Of Archival Images: The Frontiers Of Science Website
Yazar:: Gary Browne
Baskı/Yayın Bilgisi: (2011-07-01)

Frontières sociales, frontières culturelles, frontières techniques
Baskı/Yayın Bilgisi: (2010-12-01)

The verified software initiative: A manifesto
Yazar:: Hoare, C, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

The Role of Formal Techniques: Past‚ Current and Future or How Did Software Get so Reliable without Proof? (Extended Abstract)
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1996)

The verified software repository: a step towards the verifying compiler
Yazar:: Bicarregui, J, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

The frontiers of identity, and the identity of frontiers
Yazar:: Wojciech Burszta
Baskı/Yayın Bilgisi: (2016-01-01)

Non-technological barriers: the last frontier towards AI-powered intelligent optical networks
Yazar:: Faisal Nadeem Khan
Baskı/Yayın Bilgisi: (2024-07-01)

Verified Software: Theories‚ Tools‚ Experiments Vision of a Grand Challenge Project
Yazar:: Hoare, T, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

Market impact of software radio : benefits and barriers
Yazar:: Merino Artalejo, Maria Fuencisla, 1974-
Baskı/Yayın Bilgisi: (2005)

Barriers to growth of the Hong Kong software industry
Yazar:: Seid, Jacob J. (Jacob Julius), 1975-
Baskı/Yayın Bilgisi: (2009)

Barriers Faced by Women in Software Development Projects
Yazar:: Edna Dias Canedo, ve diğerleri
Baskı/Yayın Bilgisi: (2019-10-01)

Frontières, barrières, horizons. Réinterroger l’histoire et les mémoires de la migration
Yazar:: Maria Neagu, ve diğerleri
Baskı/Yayın Bilgisi: (2013-03-01)

Healthcare professionals' perspectives of barriers to cancer care delivery for American Indian, rural, and frontier populations
Yazar:: Brandon M. Varilek, ve diğerleri
Baskı/Yayın Bilgisi: (2024-12-01)