Log in

Relevant bibliographies by topics / Views on computer software / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Views on computer software.

Dissertations / Theses on the topic 'Views on computer software'

Author: Grafiati

Published: 27 July 2024

Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Views on computer software.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Boiten, E. A. "Views of formal program development." Thesis, University of Kent, 1992. https://kar.kent.ac.uk/21069/.

Full text

Abstract:

A formal specification describes a problem to be solved on a high level - ideally, it specifies what has to be done, but not how. Such descriptive specifications facilitate the derivation of any of the possible solutions, whereas operational specifications suggest only particular ones. Formal derivations in this framework consist of semantics preserving transformations, i.e. steps that proceed from solutions to the initial specification to other, more defined, more operational, or more efficient ones. Thus, the resulting programs are correct by construction with respect to their initial specif

APA, Harvard, Vancouver, ISO, and other styles

2

Green, Richard. "Use of a layered knowledge architecture to support multiple views of system development knowledge." Thesis, Keele University, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.242275.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Hung, Che Shian. "Boa Views: Enabling Modularization and Sharing of Boa Queries." Bowling Green State University / OhioLINK, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=bgsu1563557234898944.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Eriksson, Jeanette. "Interaction Views in Architectures for ActionBlocks : To Each His Own." Thesis, Blekinge Tekniska Högskola, Institutionen för programvaruteknik och datavetenskap, 2002. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-1641.

Full text

Abstract:

This master thesis is done in collaboration with Space and Virtuality studio of the Interactive Institute in Malmö. The project ActionBlocks, at the Space studio, relate to the requirements concerning hardware for ubiquitous computing. A system of intelligent building blocks is developed to be able to build functional HiFi prototypes fast. The building blocks are distributed in space and small, cheap web servers, called TINI, integrate the devices. ActionBlocks may be regarded as physical interfaces. The intention is that systems of different ActionBlocks (tag readers, digital cameras, loud-sp

APA, Harvard, Vancouver, ISO, and other styles

5

Atilgan, Aydin Elcin. "Merging Multi-view Feature Models." Master's thesis, METU, 2012. http://etd.lib.metu.edu.tr/upload/12613965/index.pdf.

Full text

Abstract:

Feature models are used for variability management in software product lines. Instead of developing a single feature model, merging small models can be an effective solution to obtain a unified view. Since each stakeholder views the product family from a different perspective, conflicts may occur during merging. In this research, merging of feature models arising from different viewpoints is considered. A normative procedure is proposed to merge feature models by applying local rules. This procedure can merge feature models with cross-tree relationships between sibling features. Application of

APA, Harvard, Vancouver, ISO, and other styles

6

Hochstettler, William Henry. "A model for supporting multiple software engineering methods in a software environment /." The Ohio State University, 1986. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487322984315003.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Mutha, Chetan V. "Software Fault Propagation And Failure Analysis For UML Based Software Design." The Ohio State University, 2014. http://rave.ohiolink.edu/etdc/view?acc_num=osu1404305866.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

McKnight, Walter Lee. "A meta system for generating software engineering environments /." The Ohio State University, 1985. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487260531958418.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Sartipi, Kamran. "Software Architecture Recovery based on Pattern Matching." Thesis, University of Waterloo, 2003. http://hdl.handle.net/10012/1122.

Full text

Abstract:

Pattern matching approaches in reverse engineering aim to incorporate domain knowledge and system documentation in the software architecture extraction process, hence provide a user/tool collaborative environment for architectural design recovery. This thesis presents a model and an environment for recovering the high level design of legacy software systems based on user defined architectural patterns and graph matching techniques. In the proposed model, a high-level view of a software system in terms of the system components and their interactions is represented as a query, using a de

APA, Harvard, Vancouver, ISO, and other styles

10

Afifi, Faten Helmy. "Detecting errors in nonlinear functions for computer software." Case Western Reserve University School of Graduate Studies / OhioLINK, 1992. http://rave.ohiolink.edu/etdc/view?acc_num=case1060013182.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Turgeon, Josée. "A view-based system for eliciting software process models." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape7/PQDD_0017/NQ55388.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Alrabghi, Leenah O. "QFD IN SOFTWARE ENGINEERING." Kent State University / OhioLINK, 2014. http://rave.ohiolink.edu/etdc/view?acc_num=kent1385046526.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Byrne, Declan Jerome. "The needs of the software industry and the content of undergraduate education in Ireland : a survey of the views of practitioners, managers and academics." Thesis, University of Hull, 1996. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.321054.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Zhang, Hailong. "Differentially-Private Remote Software Profiling." The Ohio State University, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=osu1595270049924409.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Gibson, David S. "Behavioral relationships between software components /." The Ohio State University, 1997. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487948158627364.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Schilling, Walter W. "A cost effective methodology for quantitative evaluation of software reliability using static analysis /." Connect to full text in OhioLINK ETD Center, 2007. http://rave.ohiolink.edu/etdc/view?acc_num=toledo1189820658.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Li, Chin-Hsiang. "Extensions to the attribute grammar form model to model meta software engineering environments /." The Ohio State University, 1985. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487259580261289.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Kiper, James Dennis. "The ergonomic, efficient, and economic integration of existing tools into a software environment /." The Ohio State University, 1985. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487260531956924.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Ali, Zoya. "Designing Object Oriented Software Applications within the Context of Software Frameworks." The Ohio State University, 2011. http://rave.ohiolink.edu/etdc/view?acc_num=osu1316183692.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Tagore, Aditi. "Techniques to Improve Automated Software Verification." The Ohio State University, 2014. http://rave.ohiolink.edu/etdc/view?acc_num=osu1397661277.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Nicholas, Charles Kenneth. "Assuring accessibility of complex software systems /." The Ohio State University, 1988. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487587604132583.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Edwards, Stephen. "A formal model of software subsystems /." The Ohio State University, 1995. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487861796819812.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Colesky, Michael Robert. "SecMVC : a model for secure software design based on the model-view-controller pattern." Thesis, Nelson Mandela Metropolitan University, 2014. http://hdl.handle.net/10948/d1020614.

Full text

Abstract:

Current advances in the software development industry are growing more ubiquitous by the day. This has caused for security, not only in the broader sense, but specifically within the design and overall development of software itself, to become all the more important. An evidently prevalent problem in the domain of software development is that software security is not consistently addressed during design, which undermines core security concerns, and leads to the development of insecure software. This research seeks to address this issue via a model for secure software design, which is based on

APA, Harvard, Vancouver, ISO, and other styles

24

Bihari, Thomas Edward. "Adapting real-time software for reliable performance /." The Ohio State University, 1987. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487326511714772.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Herrmann, William J. "Creating a Fun Program that is Simple and Easy to Use." Wittenberg University Honors Theses / OhioLINK, 2012. http://rave.ohiolink.edu/etdc/view?acc_num=wuhonors1337875707.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Liang, Kai. "Fault Localization In Embedded Control System Software." Case Western Reserve University School of Graduate Studies / OhioLINK, 2014. http://rave.ohiolink.edu/etdc/view?acc_num=case1396610077.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Hall, Kathleen J. "An examination of issues related to the implementation of evolutionary development and DOD-STD-2167A in software development : a practitioners view /." This resource online, 1990. http://scholar.lib.vt.edu/theses/available/etd-03302010-020143/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Kagdi, Huzefa H. "Mining Software Repositories to Support Software Evolution." Kent State University / OhioLINK, 2008. http://rave.ohiolink.edu/etdc/view?acc_num=kent1216149768.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Albattah, Waleed. "SOFTWARE MAINTAINABILITY AND TESTABILITY PREDICTIONS USING PACKAGE COHESION." Kent State University / OhioLINK, 2014. http://rave.ohiolink.edu/etdc/view?acc_num=kent1415737576.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Dutta, Binamra. "Enterprise software metrics how to add business value /." [Kent, Ohio] : Kent State University, 2009. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=kent1239239432.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Kurian, Roger. "The benefits to management of using GQM, continuous GQM, and V-GQM in a measurement program." [Kent, Ohio] : Kent State University, 2009. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=kent1248130473.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Neerukonda, Narender. "AUTOMATIC SETUP SELECTION AND OPERATION SEQUENCING FOR COMPUTER-AIDED MANUFACTURING SOFTWARE." Ohio University / OhioLINK, 2005. http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1132668178.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Fung, Casey Kin-Chee. "A methodology for the collection and evaluation of software error data /." The Ohio State University, 1985. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487263399022312.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Nesbitt, Brian E. "Integration and deployment techniques in combination with development methodologies." [Denver, Colo.] : Regis University, 2009. http://adr.coalliance.org/codr/fez/view/codr:141.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Harms, Douglas Eugene. "The influence of software reuse on programming language design /." The Ohio State University, 1990. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487683049374373.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Parrish, Allen Scott. "An axiomatic theory of software test data adequacy criteria /." The Ohio State University, 1990. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487683401441596.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Kirschenbaum, Jason P. "Investigations in Automating Software Verification." The Ohio State University, 2011. http://rave.ohiolink.edu/etdc/view?acc_num=osu1306862918.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Chockalingam, Arun. "Framework for Analyzing the Success of Open Source Software." The Ohio State University, 2011. http://rave.ohiolink.edu/etdc/view?acc_num=osu1307983718.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Ye, Xin. "Automated Software Defect Localization." Ohio University / OhioLINK, 2016. http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1462374079.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Chalasani, Pallavi. "Engineering for evolution of a Software to a Production Environment." The Ohio State University, 2014. http://rave.ohiolink.edu/etdc/view?acc_num=osu1398952564.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Alali, Abdulkareem. "Improved Methods for Mining Software Repositories to Detect Evolutionary Couplings." Kent State University / OhioLINK, 2014. http://rave.ohiolink.edu/etdc/view?acc_num=kent1406565384.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

AlAbed-AlHaq, Abrar Fawwaz. "APPLYING GRAPH MINING TECHNIQUES TO SOLVE COMPLEX SOFTWARE ENGINEERING PROBLEMS." Kent State University / OhioLINK, 2015. http://rave.ohiolink.edu/etdc/view?acc_num=kent1442986844.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Hegazy, Wael A. "The requirements of testing a class of reusable software modules /." The Ohio State University, 1989. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487668215806965.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Sitaraman, Muralidharan. "Mechanisms and methods for performance tuning of reusable software components /." The Ohio State University, 1990. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487683401443961.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Frisch, Blade William Martin. "A User Experience Evaluation of AAC Software." Bowling Green State University / OhioLINK, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=bgsu1594112876812982.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Bai, Zhuofu. "LOCALIZING FAULTS IN NUMERICAL SOFTWARE USING A VALUE-BASED CAUSAL MODEL." Case Western Reserve University School of Graduate Studies / OhioLINK, 2016. http://rave.ohiolink.edu/etdc/view?acc_num=case1459437802.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

LaGuardia, John Louis. "Computer Aided Parametric Screw Design and Analysis Using Pro/Engineer Solid Modeling Software." University of Akron / OhioLINK, 2009. http://rave.ohiolink.edu/etdc/view?acc_num=akron1237988201.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

THOMPSON, ELIZABETH M. "SPELLING ACCURACY WITH NON-FLUENT APHASIA: WORD PROCESSING V.S. WORD PREDICTION COMPUTER SOFTWARE." University of Cincinnati / OhioLINK, 2005. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1116211390.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Hammad, Maen M. "SUPPORTING CODE-DESIGN CONSISTENCY DURING SOFTWARE EVOLUTION." Kent State University / OhioLINK, 2010. http://rave.ohiolink.edu/etdc/view?acc_num=kent1271363195.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

Kasu, Velangani Deepak Reddy. "Programmer Difficulties within a Software Development Environment." University of Cincinnati / OhioLINK, 2018. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1544002452972811.

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!