Log in

Relevant bibliographies by topics / Software tools / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Software tools.

Dissertations / Theses on the topic 'Software tools'

Author: Grafiati

Published: 4 June 2021

Last updated: 9 June 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 'Software tools.'

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

Munir, Qaiser, and Muhammad Shahid. "Software Product Line:Survey of Tools." Thesis, Linköping University, Department of Computer and Information Science, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-57888.

Full text

Abstract:

<p>software product line is a set of software-intensive systems that share a common, managed set of features satisfying the specificneeds of a particular market segment or mission. The main attractive part of SPL is developing a set of common assets which includes requirements, design, test plans, test cases, reusable software components and other artifacts. Tools for the development of softwareproduct line are very few in number. The purpose of these tools is to support the creation, maintenance and using different versions ofproduct line artifacts. This requires a development environment that supports the management of assets and product development,processes and sharing of assets among different products.</p><p>The objective of this master thesis is to investigate the available tools which support Software Product Line process and itsdevelopment phases. The work is carried out in two steps, in the first step available Software Product Line tools are explored and a list of tools is prepared, managed and a brief introduction of each tool is presented. The tools are classified into different categoriesaccording to their usage, relation between the tools is established for better organization and understanding. In the second step, two tools Pure::variant and MetaEdit+ are selected and the quality factors such as Usability, Performance, Reliability, MemoryConsumption and Capacity are evaluated.</p>

APA, Harvard, Vancouver, ISO, and other styles

2

Sampson, Stephen Filson. "Software visualization tools for Java." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape3/PQDD_0019/MQ54538.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Moschoglou, Georgios Moschos. "Software testing tools and productivity." Virtual Press, 1996. http://liblink.bsu.edu/uhtbin/catkey/1014862.

Full text

Abstract:

Testing statistics state that testing consumes more than half of a programmer's professional life, although few programmers like testing, fewer like test design and only 5% of their education will be devoted to testing. The main goal of this research is to test the efficiency of two software testing tools. Two experiments were conducted in the Computer Science Department at Ball State University. The first experiment compares two conditions - testing software using no tool and testing software using a command-line based testing tool - to the length of time and number of test cases needed to achieve an 80% statement coverage for 22 graduate students in the Computer Science Department. The second experiment compares three conditions - testing software using no tool, testing software using a command-line based testing tool, and testing software using a GUI interactive tool with added functionality - to the length of time and number of test cases needed to achieve 95% statement coverage for 39 graduate and undergraduate students in the same department.<br>Department of Computer Science

APA, Harvard, Vancouver, ISO, and other styles

4

Guest, S. P. "Software tools for dialogue design." Thesis, De Montfort University, 1986. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.372851.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Tilevich, Eli. "Software Tools for Separating Distribution Concerns." Diss., Georgia Institute of Technology, 2005. http://hdl.handle.net/1853/7518.

Full text

Abstract:

With the advent of the Internet, distributed programming has become a necessity for the majority of application domains. Nevertheless, programming distributed systems remains a delicate and complex task. This dissertation explores separating distribution concerns, the process of transforming a centralized monolithic program into a distributed one. This research develops algorithms, techniques, and tools for separating distribution concerns and evaluates the applicability of the developed artifacts by identifying the distribution concerns that they separate and the common architectural characteristics of the centralized programs that they transform successfully. The thesis of this research is that software tools working with standard mainstream languages, systems software, and virtual machines can effectively and efficiently separate distribution concerns from application logic for object-oriented programs that use multiple distinct sets of resources. Among the specific technical contributions of this dissertation are (1) a general algorithm for call-by-copy-restore semantics in remote procedure calls for linked data structures, (2) an analysis heuristic that determines which application objects get passed to which parts of native (i.e., platform-specific) code in the language runtime system for platform-independent binary code applications, (3) a technique for injecting code in such applications that will convert objects to the right representation so that they can be accessed correctly inside both application and native code, (4) an approach to maintaining the Java centralized concurrency and synchronization semantics over remote procedure calls efficiently, and (5) an approach to enabling the execution of legacy Java code remotely from a web browser. The technical contributions of this dissertation have been realized in three software tools for separating distribution concerns: NRMI, middleware with copy-restore semantics; GOTECH, a program generator for distribution; and J-Orchestra, an automatic partitioning system. This dissertation presents several case studies of successfully applying the developed tools to third-party programs.

APA, Harvard, Vancouver, ISO, and other styles

6

Pilon, Daniel. "Software tools for improving classroom interaction." Thesis, University of Ottawa (Canada), 1995. http://hdl.handle.net/10393/10266.

Full text

Abstract:

Cette these decrit un systeme informatise d'aide aux presentations et aux assistances lors d'exposes magistraux et presente ses fonctionnalites. Elle introduit un systeme utilisant les blocs-notes stylo et un ensemble d'outils logiciels pour ameliorer la communication entre les professeurs et les etudiants. Les outils logiciels permettent aux professeurs d'interagir efficacement avec les etudiants durant les cours et aident les etudiants a prendre des notes pertinentes. Le systeme peut etre employe dans une classe traditionnelle, lors d'enseignement a distance ou dans un environnement de teleconference. Pour cette these, les outils logiciels lorsque referes comme un tout, seront designes comme Class Tool.

APA, Harvard, Vancouver, ISO, and other styles

7

Dijkstra, Semme Josua. "Software tools developed for seafloor classification." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape4/PQDD_0031/NQ62170.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

McParland, Patrick J. "Software tools to support formal methods." Thesis, Queen's University Belfast, 1989. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.292757.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Souza, J. M. de. "Software tools for conceptual schema integration." Thesis, University of East Anglia, 1986. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.373740.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Carney, John C. "Message passing tools for software integration." Thesis, Massachusetts Institute of Technology, 1995. http://hdl.handle.net/1721.1/37769.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Mucci, Claudio <1977&gt. "Software tools or embedded reconfigurable processors." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2007. http://amsdottorato.unibo.it/402/1/claudiomucci_phdthesis.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Mucci, Claudio <1977&gt. "Software tools or embedded reconfigurable processors." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2007. http://amsdottorato.unibo.it/402/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Murphy-Hill, Emerson. "Programmer Friendly Refactoring Tools." PDXScholar, 2009. https://pdxscholar.library.pdx.edu/open_access_etds/2672.

Full text

Abstract:

Tools that perform semi-automated refactoring are currently under-utilized by programmers. If more programmers adopted refactoring tools, software projects could make enormous productivity gains. However, as more advanced refactoring tools are designed, a great chasm widens between how the tools must be used and how programmers want to use them. This dissertation begins to bridge this chasm by exposing usability guidelines to direct the design of the next generation of programmer-friendly refactoring tools, so that refactoring tools fit the way programmers behave, not vice-versa.

APA, Harvard, Vancouver, ISO, and other styles

14

Jonsson, Daniel. "Layout and configuration tools for visualization software." Thesis, Linköpings universitet, Medie- och Informationsteknik, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-106951.

Full text

Abstract:

Ericsson is one of the world leaders in radio network technology and are spending a lot of resources on research in this area. This produces big amounts of data and there is a desire for tools that allows the researchers to investigate and present the data in a user friendly way. This is the motivation behind Elsa GVP, Ericsson’s visualization platform, which facilitates the production of interactive visualizations. The platform handles database connections and provides a number of visual components that can be used in an interactive visualization, such as bar charts, scatter plots and maps. Although Elsa GVP certainly makes the production of an interactive visualization speedier it is still a time consuming task and requires expert knowledge. Therefore, there is a desire to make the entire process easier and more user-friendly so that any employee can construct an interactive visualization. This is the motivation behind this master thesis work whose main objective is to investigate how to reduce the amount of work required to produce an interactive visualization by providing an intuitive graphical user interface.

APA, Harvard, Vancouver, ISO, and other styles

15

Eatinger, Christopher J. "Testing automation tools for secure software development." Thesis, Monterey, Calif. : Naval Postgraduate School, 2007. http://bosun.nps.edu/uhtbin/hyperion-image.exe/07Jun%5FEatinger.pdf.

Full text

Abstract:

Thesis (M.S. in Computer Science)--Naval Postgraduate School, June 2007.<br>Thesis Advisor(s): Mikhail Auguston. "June 2007." Description based on title screen as viewed on August 14, 2007. Includes bibliographical references (p. 61). Also available in print.

APA, Harvard, Vancouver, ISO, and other styles

16

Ren, Jinsong. "Software tools for integral imaging virtual studios." Thesis, De Montfort University, 2004. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.406029.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Keller, René. "Predicting change propagation : algorithms, representations, software tools." Thesis, University of Cambridge, 2007. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.443494.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Bhatia, Sanjay. "Software tools for computer-controlled fatigue testing." Thesis, Virginia Tech, 1986. http://hdl.handle.net/10919/45749.

Full text

Abstract:

Past efforts at implementing Load Spectrum Generation and Neuber Control have centered around minicomputers and analog circuits. The use of a personal computer to implement the tasks is presented. On implementation of the load Spectrum Generation software, the response of the Materials Testing System was investigated for distortion and attenuation. In particular, the effect of the resolution of the waveform on the test system response was noted. There was negligible attenuation for full scale frequencies of up to 20 Hz. Greater waveform resolution was required at lower frequencies than at higher frequencies. On implementation of the Neuber Control program, the accuracy obtained at the Neuber hyperbolas was noted. Better accuracy was obtained at ramp frequencies below 0.1 Hz. Based on the results obtained after implementing the Load Spectrum Generator program and the Neuber Control program, the performance of the personal computer in controlling fatigue tests is evaluated. Cost effectiveness and versatility favor the use of a personal computer for the control of fatigue tests.<br>Master of Science

APA, Harvard, Vancouver, ISO, and other styles

19

Barratt, Dean M. "An analysis of system development tools." Virtual Press, 1990. http://liblink.bsu.edu/uhtbin/catkey/722786.

Full text

Abstract:

The development of a software package is a complex and time consuming process. Computer Assisted Software Engineering (CASE) tools, such as Excelerator, DesignAid and SA Tools have offered an alternative to the traditional methods of system design. While the use of these design tools can lessen the burden of project management, there currently exists no systematic method for describing or evaluating existing products.This study identifies criteria for software development tools by examining three products used in a PC-based computing environment. The three software development tools studied are DesignAid version 4.0 by Nastec Corporation, SA Tools by Tekcase Corporation, and Excelerator version 1.7 by Index Technology Corporation. In order to give the "look and feel" of the products, the same design project is implemented on each of the tools. Then each product is evaluated with respect to a given set of criteria.<br>Department of Computer Science

APA, Harvard, Vancouver, ISO, and other styles

20

Powers, Brenda Joy. "A test methodology for reliability assessment of collaborative tools." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2004. http://library.nps.navy.mil/uhtbin/hyperion/04Sep%5FPowers.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Johansson, Pedher. "Software tools for matrix canonical computations and web-based software library environments." Doctoral thesis, Umeå : Dept. of Computing Science, Umeå University, 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-890.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Kelner, Judith. "Using directed graphs for software visualisation." Thesis, University of Kent, 1993. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.334043.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Chen, Yuanxin. "Building software tools for combat modeling and analysis." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2004. http://handle.dtic.mil/100.2/ADA429676.

Full text

Abstract:

Thesis (M.S. in Computer Science)--Naval Postgraduate School, Dec. 2004.<br>Thesis Advisor(s): Mikhail Auguston. "December 2004." Includes bibliographical references (p. 179-180). Also available online.

APA, Harvard, Vancouver, ISO, and other styles

24

Renieris, Emmanuel. "A research framework for software-fault localization tools /." View online version; access limited to Brown University users, 2005. http://wwwlib.umi.com/dissertations/fullcit/3174662.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Kadoda, Gada F. "Formal software development tools : an investigation into usability." Thesis, Loughborough University, 1997. https://dspace.lboro.ac.uk/2134/31907.

Full text

Abstract:

Formal methods are techniques that are firmly based in mathematics, they can be used to specify and verify computer systems. Formal techniques offer many advantages, including correctness and productivity over less formal ones. Wide acceptance of these methods is hindered by their relatively difficult notations and theories. This thesis takes the view that the availability of usable tools that support formal techniques plays an important role in promoting their use by a wider community of software engineers.

APA, Harvard, Vancouver, ISO, and other styles

26

Davies, Robin 1975. "Toolkit : specialized software tools for electronic music composition." Thesis, McGill University, 2001. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=32905.

Full text

Abstract:

This research presents new audio creation and processing tools for the virtual electronic music studio. The Tools were created by the author in the Max/MSP authoring environment. Some Tools model analog production techniques lost when studios moved inside computers, and provide additional functionality only possible in the digital world. Others make use of traditional processing ideas but add a level of control difficult to find in today's audio software plug-ins. The Tools are small, simple, real-time, and user-controllable devices for working with sound.

APA, Harvard, Vancouver, ISO, and other styles

27

Thearle, R. W. "The integration of tools in software engineering environments." Thesis, University of Kent, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.304957.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Howard, Jeffrey (Jeffrey Rush) 1977. "Principles for design of software engineering visualization tools." Thesis, Massachusetts Institute of Technology, 2000. http://hdl.handle.net/1721.1/86663.

Full text

Abstract:

Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2000.<br>Includes bibliographical references (leaves 60-71).<br>by Jeffrey Howard.<br>M.Eng.

APA, Harvard, Vancouver, ISO, and other styles

29

Archer, Emory Scott. "Development of graphical software tools for molecular biology." Thesis, Hong Kong : University of Hong Kong, 1997. http://sunzi.lib.hku.hk/hkuto/record.jsp?B19974218.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Hasni, Neji. "Towards an interoperability ontology for software development tools." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2003. http://library.nps.navy.mil/uhtbin/hyperion-image/03Mar%5FHasni.pdf.

Full text

Abstract:

Thesis (M.S. in Computer Science)--Naval Postgraduate School, March 2003.<br>Thesis advisor(s): Shing Man-Tak, Joseph Pruett, Richard Riehle. Includes bibliographical references (p. 249-252). Also available online.

APA, Harvard, Vancouver, ISO, and other styles

31

Tip, Frank. "Generation of program analysis tools." Amsterdam : Amsterdam : Institute for Logic, Language and Computation ; Universiteit van Amsterdam [Host], 1995. http://dare.uva.nl/document/33639.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Eagle, Christopher S. "Tools for storage and retrieval of Ada software components in a software base." Thesis, Monterey, California. Naval Postgraduate School, 1995. http://hdl.handle.net/10945/7530.

Full text

Abstract:

One problem facing the Computer Aided Prototyping System (CAPS) project at the Naval Postgraduate School, is the lack of a large repository of existing reliable software components to draw upon for the creation of new prototype designs. Specifically, it i

APA, Harvard, Vancouver, ISO, and other styles

33

Puett, Joseph F. "Holistic framework for establishing interoperability of heterogeneous software development tools." Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2003. http://library.nps.navy.mil/uhtbin/hyperion-image/03Jun%5FPuett%5FPhD.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Tan, Roy Patrick. "Programming Language and Tools for Automated Testing." Diss., Virginia Tech, 2007. http://hdl.handle.net/10919/28684.

Full text

Abstract:

Software testing is a necessary and integral part of the software quality process. It is estimated that inadequate testing infrastructure cost the US economy between $22.2 and $59.5 billion. We present Sulu, a programming language designed with automated unit testing specifically in mind, as a demonstration of how software testing may be more integrated and automated into the software development process. Sulu's runtime and tools support automated testing from end to end; automating the generation, execution, and evaluation of test suites using both code coverage and mutation analysis. Sulu is also designed to fully integrate automatically generated tests with manually written test suites. Sulu's tools incorporate pluggable test case generators, which enables the software developer to employ different test case generation algorithms. To show the effectiveness of this integrated approach, we designed an experiment to evaluate a family of test suites generated using one test case generation algorithm, which exhaustively enumerates every sequence of method calls within a certain bound. The results show over 80\% code coverage and high mutation coverage for the most comprehensive test suite generated.<br>Ph. D.

APA, Harvard, Vancouver, ISO, and other styles

35

Merriam, Nicholas Andrew Van Ness. "Tools for algebraic program transformation." Thesis, Imperial College London, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.281687.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Ziegenhagen, Lynzi. "Evaluating configuration management tools for high assurance software development projects." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2003. http://library.nps.navy.mil/uhtbin/hyperion-image/03Jun%5FXiegenhagen.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Zhang, Hailing. "Comparison of Open Source License Scanning Tools." Thesis, Linnéuniversitetet, Institutionen för datavetenskap och medieteknik (DM), 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-97921.

Full text

Abstract:

We aim to determine the features of four popular FOSS scanning tools, FOSSology,FOSSA, FOSSID(SCAS), and Black Duck, thereby providing references for users tochoose a proper tool for performing open-source license compliance in their projects.The sanity tests firstly verify the license detection function by using the above tools toscan the same project. We consider the number of found licenses and scanned sizes asmetrics of their accuracy. Then we generate testing samples in different programminglanguages and sizes for further comparing the scanning efficiency. The experiment datademonstrate that each tool would fit different user requirements. Thus this project couldbe considered as a definitive user guide.

APA, Harvard, Vancouver, ISO, and other styles

38

Riha, Karel. "An investigation into computer-aided design of software." Thesis, Kingston University, 1987. http://eprints.kingston.ac.uk/20512/.

Full text

Abstract:

Manual software design methods suffer from many handicaps. As a result, the design documentation of software systems usually either does not exist, or is full of errors and out of date. Many software development, reliability, and maintainability problems reported in the literature can be traced to this state of affairs. The solution of these problems does not appear to lie in improved manual software design methods, but in the potentially much more "effective" computer-aided software design tools. This project set out to investigate how to aid the manual software design methods with a computer. A novel entity-relationship model for the software design specification was formulated and built into an interactive pilot software design tool. In spite of its simplicity, the model is capable of representing software structures from high-level architectural design to low-level detailed design. The tool stores the model entered by the user in a database. The model can then be inspected either on-line, or from printed documentation. The evaluation of the pilot tool, based on the feedback from the users, was favourable to the underlying model. However, many human-computer interface problems were identified. The effectiveness of software design tools was defined in terms of the designer productivity and the quality of the design documentation. An approach which consisted of repeated propositioning, implementation, and evaluation of modifications was then used to improve the effectiveness of the tool. A questionnaire was used to assess the opinion of the tool users more objectively, and an experiment was carried out to compare the effectiveness of the tool with a manual method. The results of this research have shown that the latest version of the tool is significantly more effective than the manual method.

APA, Harvard, Vancouver, ISO, and other styles

39

Valente, Patrick. "Software tools for the investigation of stochastic programming problems." Thesis, Brunel University, 2002. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.270578.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Shchupak, Peter. "Study of software tools to support systems engineering management." Thesis, Monterey, California: Naval Postgraduate School, 2015. http://hdl.handle.net/10945/45942.

Full text

Abstract:

Approved for public release; distribution is unlimited<br>According to a 2010 Government Accountability Office (GAO) report, major system acquisitions within the Department of Defense (DOD) tend to be behind schedule, over budget, and often fail to deliver at least some of the planned capabilities. One area that can significantly contribute to successful implementation of systems engineering is the regular usage of management software tools and their continued evolution to better meet systems engineering needs. This thesis provides a detailed exploration of four categories of available system engineering management tools: Model-Based Systems Engineering (MBSE), Product Life Cycle Management (PLM), Systems Engineering Environment (SEE), and Project Management software. Each tool has numerous features that support successful systems engineering. However, there does not seem to be a consolidated commercially available tool or system that allows for seamless management of systems engineering projects across all of the process areas. Drawing upon these existing tools and the International Council on Systems Engineering (INCOSE) processes, this thesis derives a set of requirements for such a consolidated systems engineering management tool. This research can serve as the starting point for a follow-on effort to develop such a tool.

APA, Harvard, Vancouver, ISO, and other styles

41

Lomsak, Daniel. "Toward More Composable Software-Security Policies: Tools and Techniques." Scholar Commons, 2013. http://scholarcommons.usf.edu/etd/4531.

Full text

Abstract:

Complex software-security policies are dicult to specify, understand, and update. The same is true for complex software in general, but while many tools and techniques exist for decomposing complex general software into simpler reusable modules (packages, classes, functions, aspects, etc.), few tools exist for decomposing complex security policies into simpler reusable modules. The tools that do exist for modularizing policies either encapsulate entire policies as atomic modules that cannot be decomposed or allow ne-grained policy modularization but require expertise to use correctly. This dissertation presents a policy-composition tool called PoliSeer [27, 26] and the PoCo policy-composition software-security language. PoliSeer is a GUI-based tool designed to enable users who are not expert policy engineers to exibly specify, visualize, modify, and enforce complex runtime policies on untrusted software. PoliSeer users rely on expert policy engineers to specify universally composable policy modules; PoliSeer users then build complex policies by composing those expert-written modules. This dissertation describes the design and implementation of PoliSeer and a case study in which we have used PoliSeer to specify and enforce a policy on PoliSeer itself. PoCo is a language for specifying composable software-security policies. PoCo users specify software-security policies in terms of abstract input-output event sequences. The policy outputs are expressive, capable of describing all desired, irrelevant, and prohibited events at once. These descriptive outputs compose well: operations for combining them satisfy a large number of algebraic properties, which allows policy hierarchies to be designed more simply and naturally. We demonstrate PoCo's capability via a case study in which a sophisticated policy is implemented in PoCo.

APA, Harvard, Vancouver, ISO, and other styles

42

Morrow, Philip. "Software development tools for parallel image processing on transputers." Thesis, Queen's University Belfast, 1993. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.359117.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Jankowitz, H. T. "Software tools to aid PASCAL and ADA program design." Thesis, University of Southampton, 1987. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.381132.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Srikantiah, Ranjini 1974. "Using software tools to guide strategic planning in manufacture." Thesis, Massachusetts Institute of Technology, 2000. http://hdl.handle.net/1721.1/86551.

Full text

Abstract:

Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science; and, (M.B.A.)--Massachusetts Institute of Technology, Sloan School of Management, 2000.<br>Includes bibliographical references (p. 71-72).<br>by Ranjini Srikantiah.<br>S.M.<br>M.B.A.

APA, Harvard, Vancouver, ISO, and other styles

45

Mwangi, Timothy M. "Software tools for elementary math education : animated mathematical proofs." Thesis, Massachusetts Institute of Technology, 2013. http://hdl.handle.net/1721.1/85451.

Full text

Abstract:

Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2013.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (page 47).<br>The National Council of Teachers of Mathematics [6] has identified the learning of proofs as a critical goal for students from pre-kindergarten through grade 12 (p. 56). A proof for elementary students is not the highly structured mathematical argument seen in high school algebra classes. It is, however, a rational mathematical argument created by students using the appropriate vocabulary for their level of understanding. To aid students in learning to create mathematical proofs software that enables them to create simple animations is invaluable. This thesis looks at the characteristics, design, testing and evaluation of such software. An initial design is presented and the feedback gained from testing its implementation in a class setting is discussed along with the changes that were required to improve the software in light of the feedback. A comparison is then made between the final implementation of the software and other similar programs. The results indicate that the software enables students to create, share and discuss mathematical proofs in the form of simple animations.<br>by Timothy M. Mwangi.<br>M. Eng.

APA, Harvard, Vancouver, ISO, and other styles

46

Lima, Neto Crescencio Rodrigues. "SPLMT-TE: a software product lines system test case tool." Universidade Federal de Pernambuco, 2011. https://repositorio.ufpe.br/handle/123456789/2809.

Full text

Abstract:

Made available in DSpace on 2014-06-12T16:01:17Z (GMT). No. of bitstreams: 2 arquivo7562_1.pdf: 3512712 bytes, checksum: d7dd3b157b1e7c89309ff683efdc8a2f (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011<br>Atualmente a decisão de trabalhar, ou não, com Linhas de Produtos de Software (LPS) se tornou um requisito obrigatório para o planejamento estratégico das empresas que trabalham com domínio específico. LPS possibilita que as organizações alcancem reduções significativas nos custos de desenvolvimento e manutenção, melhorias quantitativas na produtividade, qualidade e satisfação do cliente. Por outro lado, os pontos negativos em adotar LPS são demanda extra de investimentos para criar os artefatos reusáveis, fazer mudana¸s organizacionais, etc. Além disso, teste é mais complicado e crítico em linhas de produtos do que em sistemas simples. Porém, continua sendo a forma mais efetiva para garantia de qualidade em LPS. Por isso, aprender a escolher as ferramentas certas para teste em LPS é um benefício que contribui pra redução de alguns desses problemas enfrentados pelas empresas. Apesar do crescente número de ferramentas disponíveis, teste em LPS ainda necessita de ferramentas que apoiem o nível de teste de sistema, gerenciando a variabilidade dos artefatos de teste. Neste contexto, este trabalho apresenta uma ferramenta de teste de linhas de produtos de software para construir testes de sistema a partir dos casos de uso que endereçam desafios para teste em LPS identificados na revisão literária. A ferramenta foi desenvolvida com o intuito de reduzir o esforço necessário para realizar as atividades de teste no ambiente de LPS. Além disso, esta dissertação apresenta um estudo exploratório sistemático que tem como objetivo investigar o estado da arte em relação a ferramentas de teste, sintetizando as evidências disponíveis e identificar lacunas entre as ferramentas, disponíveis na literatura. Este trabalho também apresenta um estudo experimental controlado para avaliar a eficácia da ferramenta proposta

APA, Harvard, Vancouver, ISO, and other styles

47

Page, Stephen Dowland. "Computer tools for music information retrieval." Thesis, University of Oxford, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.293399.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Hart, Edmund Reid. "Prototyping tools for parallel program design." Thesis, University of Westminster, 1996. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.319678.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Meacham, Richard J. "High-level design routes for digital systems." Thesis, University of Sheffield, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.298949.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

Dugan, Loren J. "The impact of CASE tools, Ada, and software reuse of a DoD software development project." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 1996. http://handle.dtic.mil/100.2/ADA308162.

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!