687,843 Hits in 4.5 sec

A Study Of Quality Assurance And Unit Verification Methods In Safety Critical Environment

Miklos Taliga
2017 Zenodo  
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?

John C. Knight, Nancy G. Leveson
2002 Communications of the ACM  
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

David Garlan, Mary Shaw
2011 Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering - SIGSOFT/FSE '11  
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

Daniel G. Cockayne, Lizzie Richardson
2017 Gender, Place & Culture: A Journal of Feminist Geography  
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

John Lenarcic
2004 Issues in Informing Science and Information Technology  
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

J. I. Brauman, D. F. Voss, T. Appenzeller
1994 Science  
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

Elizabeth de Freitas, Ezekiel Dixon-Román, Patti Lather
2016 Cultural Studies - Critical Methodologies  
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

Luís Soares Barbosa, Siraj Ahmed Shaikh
2014 Science of Computer Programming  
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

Ayman Talib, Mohammad Malkawi
2011 IBIMA Business Review  
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

William Haseman, Marc Haines, Frank Armour
2007 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07)  
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

Mia Johnson
1995 Marilyn Zurmuehlen Working Papers in Art Education  
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]

Andrzej Beniamin Bujok, Silvana Togneri MacMahon, Fergal McCaffery, Dick Whelan, Bernard Mulcahy, William J. Rickard
2016 Communications in Computer and Information Science  
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

Eric Sheppard
2005 Cartographica  
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

Peter Freeman, David Hart
2004 Communications of the ACM  
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  
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