A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
A Study Of Quality Assurance And Unit Verification Methods In Safety Critical Environment
2017
Zenodo
Preserved Fulltext
In the present case study we examined the development and testing methods of systems that contain safety-critical elements in different industrial fields. ...
Consequentially, we observed the classical object-oriented development and testing environment, as both medical technology and automobile industry approaches the development of safety critical elements ...
Subsequently we examined model-based automated test-generation as a new field of research. ...
doi:10.5281/zenodo.1129142
fatcat:cgzkodyhovgrnidxvjvhpx7bni
Should software engineers be licensed?
2002
Communications of the ACM
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
There is ample evidence that defective software is a causal factor in many failures of safety-critical systems in a variety of application areas. ...
Software in automobiles, for example, has been the cause of numerous recalls, and the public has been exposed to serious hazards as a result. ...
Thus, the creation of a licensing examination as part of the licensing process would require agreement on the subject matter relevant to the practice of software engineering in the safety-critical systems ...
doi:10.1145/581571.581601
fatcat:mtieduuek5be3nij77kofuajsi
Software architecture
2011
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering - SIGSOFT/FSE '11
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Finally, we examine some of the important new trends and challenges that are likely to have an impact on how software architecture will evolve in the future. ...
While good architectural design had long been recognized as critical to the success of any complex software system, before then the practice of architecting had relied largely on ad hoc, uncodified, and ...
Bios David Garlan is a Professor of Computer Science and Director of Software Engineering Professional Programs in the School of Computer Science at Carnegie Mellon University. ...
doi:10.1145/2025113.2025116
dblp:conf/sigsoft/GarlanS11
fatcat:w2uwpazrdvekxpe6mdges4m4lq
A queer theory of software studies: software theories, queer studies
2017
Gender, Place & Culture: A Journal of Feminist Geography
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
From the point of view of feminist and postcolonial critiques of science this of course is not a new question. ...
Feminist and postcolonial critics of science seek to avoid such a conceptualization, that in their analysis amounts to the unacknowledged assumption that bodies are only white, male, heterosexual, and ...
doi:10.1080/0966369x.2017.1383365
fatcat:vj22drhpwndother2a76pqbbn4
Behavioural Issues in Software Development: The Evolution of a New Course Dealing with the Psychology of Computer Programming
2004
Issues in Informing Science and Information Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
A historical account is presented of the evolution of a new postgraduate level university course dealing with the psychology of computer programming. ...
An outline of the course is presented and its objectives are discussed, as well as possible reasons for its premature demise and initiatives that could be undertaken to resurrect the format in a new guise ...
focus on a critical examination of these issues. ...
doi:10.28945/735
fatcat:epm2u4hm45h7hklaidrl2vdnia
Computing: Networks and Modeling
1994
Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Very large knowledge databases present an important challenge, and this Perspective examines some of the critical issues in this area. ...
Mosaic software can bring the world of linked text, graphics, sound, and video to anyone with a desktop computer and a link to the Internet. ...
Very large knowledge databases present an important challenge, and this Perspective examines some of the critical issues in this area. ...
doi:10.1126/science.265.5174.851
pmid:17782119
fatcat:ez33bsdkc5c4dlcwpsficooy6e
Alternative Ontologies of Number
2016
Cultural Studies - Critical Methodologies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Declaration of Conflicting Interests The authors declared no potential conflicts of interest with respect to the research, authorship, and/or publication of this article. ...
Funding The authors received no financial support for the research, authorship, and/or publication of this article. ...
Sellar and Thompson focus on Pearson's Next Generation Assessment program, and critically examine the assumptions of information science ontologies from a Deleuzian philosophy. ...
doi:10.1177/1532708616655759
fatcat:2p7jwdg4h5fx3ocbpdvol7cury
Selected contributions from the Open Source Software Certification (OpenCert) workshops
2014
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
of a trusted safety-critical core. ...
OpenCert provides for a unique venue advancing the state of the art in the analysis and assurance of open source software with an ultimate aim of achieving certification and standards. ...
such efforts will help realise the various critical factors underpinning open source software projects that are successful from those that are not. ...
doi:10.1016/j.scico.2014.04.007
fatcat:lmnuuihzqvar5iajl2gd5nggsa
Inward Strategy: An Optimal Solution to Build a Software Industry in Saudi Arabia
2011
IBIMA Business Review
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The need for newer innovative strategies remains a critical success factor for new entrants to the software industry. ...
The goals of this study were, first to pin point the possible strategy that Saudi Arabia may adopt to build its own software industry, second to examine the existence of the software industry success factors ...
In this model, the researchers claim that the existence of the software industry success factors is critical for any country to create a successful software industry. ...
doi:10.5171/2011.126226
fatcat:w345pz3me5f3jaq5goxl75aaq4
Technology and Strategies for Realizing Service-Oriented Architectures with Web Services
2007
2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
An Empirical Analysis of Impact of SOA Adoption on Electronic Supply Chain Performance makes a critical assessment of the benefits of SOA adoption. ...
The second paper The Impact of Service-oriented Application Development on Software Development Methodology examines the impact of Web services on the software development process. ...
doi:10.1109/hicss.2007.514
dblp:conf/hicss/HasemanHA07
fatcat:7ulbpduttraylkmw4fltleovr4
Computer Artists: A Study of Influences on Their Artistic Development and Production
1995
Marilyn Zurmuehlen Working Papers in Art Education
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
I believe that researchers need to examine hardware and software as it is developed and applied in industry, science and the computer art world, and do more ethnographic studies of computer artists themselves ...
Through critical examination of their work, artists can serve as models of theoretical and historical development in computer art. ...
doi:10.17077/2326-7070.1286
fatcat:ia6l6t5ku5gkllbpyhipkd2dqm
Safety Critical Software Development – Extending Quality Management System Practices to Achieve Compliance with Regulatory Requirements
[chapter]
2016
Communications in Computer and Information Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
A literature review was conducted which examines the relevant Quality management system, Risk Management and Software development standards across the safety critical domains. ...
Future work will focus on the integration of practices which need to be implemented by companies developing safety critical software. ...
The next phase of the research, presented in this section, examined the challenges faced by organizations developing software for a safety critical domain. ...
doi:10.1007/978-3-319-38980-6_2
fatcat:4jgifitbwbdwjbtyyelzbzeqaa
Knowledge Production through Critical GIS: Genealogy and Prospects
2005
Cartographica
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Those examining the limits of GIS representations of the world have taken seriously the criticism that GIS, as we know it, undergoes a process of representational stabilization-a process whereby the world ...
examination. ...
doi:10.3138/gh27-1847-qp71-7tp7
fatcat:rh7upnb2uvfutd4k7bijeqszuy
A science of design for software-intensive systems
2004
Communications of the ACM
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
A more complete definition of a science of design may be found through close examination of the words "science" and "design." ...
Though the other components' connections to the software and their role in the overall design of the system are critical, the core consideration for a software-intensive system is the software itself, ...
doi:10.1145/1012037.1012054
fatcat:tre7smel4zdhnowzawngrmwwum
Falsificationism and Software Engineering
1999
Annals of the Japan Association for Philosophy of Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Nevertheless, it is precisely because of this dogmatism that we need critical examination to induce awareness of our dogmatism. But critical examination does not entail the abandonment of our theory. ...
Kuhn, one of the proponents of the new philosophy of science based on the historical knowledge of science, has criticized the theory of falsifiability in the following way: science has not in fact developed ...
doi:10.4288/jafpos1956.9.165
fatcat:k52v6zvdqbf2dmoz5y6iop55eq
« Previous
Showing results 1 — 15 out of 687,843 results