To see the other types of publications on this topic, follow the link: [005.

Dissertations / Theses on the topic '[005'

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 '[005.'

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

Huang, Yi [Verfasser], Clemens [Akademischer Betreuer] Gühmann, Clemens [Gutachter] Gühmann, Uwe [Gutachter] Schäfer, and Ruijuan [Gutachter] Chi. "Temperatures estimation system of electrical machines on wireless sensor networks / Yi Huang ; Gutachter: Clemens Gühmann, Uwe Schäfer, Ruijuan Chi ; Betreuer: Clemens Gühmann." Berlin : Technische Universität Berlin, 2021. http://d-nb.info/1238140769/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Schubach, Max [Verfasser]. "Learning the Non-Coding Genome / Max Schubach." Berlin : Freie Universität Berlin, 2018. http://d-nb.info/1176641751/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Tomanguillo, Vásquez Alessandra. "Resolución 3533-2012/SPC-INDECOPI. Expediente 005-2012/PS0-INDECOPI-PUN." Revista de Actualidad Mercantil, 2014. http://repositorio.pucp.edu.pe/index/handle/123456789/92343.

Full text
Abstract:
En el presente artículo, Alessandra Tomanguillo realiza una reflexión sobre las características de la multipropiedad y cómo podría ser utilizada en el derecho societario. Asimismo, evalúa las distintas problemáticas que podría tener la aplicación de esta figura, como la existencia de una sociedad anónima sin fines de lucro, la modificación del objeto social por la mayoría y la ausencia de un derecho real. Finalmente, propone una posible regulación en el Perú.
APA, Harvard, Vancouver, ISO, and other styles
4

Шпетний, Ігор Олександрович, Игорь Александрович Шпетный, Ihor Oleksandrovych Shpetnyi, М. Ю. Рекун та М. С. Кошатко. "Отримання зносостійких покриттів методом іонно-плазмового осадження в установці УВНД 80-005". Thesis, Видавництво СумДУ, 2007. http://essuir.sumdu.edu.ua/handle/123456789/15205.

Full text
Abstract:
Метод іонно-плазмового осадження покриттів дозволяє отримати тонкоплівкові покриття товщиною від 1 до 200 мкм на основі нітридів, карбідів, карбонітридів, оксидів, що мають високу твердість, тепло- та зносостійкість. При цитуванні документа, використовуйте посилання http://essuir.sumdu.edu.ua/handle/123456789/15205
APA, Harvard, Vancouver, ISO, and other styles
5

Ye, Kai. "Applications of semidefinite programming in finance." Thesis, Imperial College London, 2009. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.508489.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Cunningham, David. "Locking atomic sections." Thesis, Imperial College London, 2010. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.516350.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Siviter, D. "HyperCourseware : the development of software tools and techniques to enable courseware management." Thesis, London South Bank University, 1996. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.618644.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Naqvi, Syed Asad Ali. "The grounded incident fault theories (GIFTs) method." Thesis, Lancaster University, 2014. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.719799.

Full text
Abstract:
Accidents, and incidents of faults and failures are an unavoidable reality for even moderately complex systems. Accidents, though unfortunate events, also provide an opportunity to uncover vulnerabilities and latent errors in systems. In this vein accident and incident analysis plays an important role in improving system dependability and robustness. Incidents when analysed individually often seem to be caused due to isolated reasons. However, when incidents are analysed in the context of other incidents in the broader domain then patterns begin to emerge between them. These patterns may indic
APA, Harvard, Vancouver, ISO, and other styles
9

McCool, Stuart. "Paralysis : an extensible multi-tiered guidance environment for program parallelization and analysis." Thesis, Queen's University Belfast, 2017. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.727745.

Full text
Abstract:
GPU computing is a relatively nascent technology. Nonetheless, its potential to greatly accelerate program performance is well known. However, so too is its complexity. For the GPU is a specialized processor with niche applications - a program’s suitability for GPU-based execution can only truly be determined following extensive prerequisite analysis. Furthermore, the porting and tuning process is highly involved, requiring an intimate understanding of the target hardware. Consequently, development times can become prolonged. For organisations with extensive legacy codes, the challenge is grea
APA, Harvard, Vancouver, ISO, and other styles
10

Lake, Eric M. "Mapping the process of product innovation : contextualising the 'black box' of computer and video games design." Thesis, Cranfield University, 2000. http://hdl.handle.net/1826/4154.

Full text
Abstract:
The academic literature hitherto has mainly addressed the 'effects' of video games and not their creation. The thesis seeks to gain an understanding of the motivations behind the design choices in creating home computer and video games software in light of this 'gap'. The research sought to understand the process of constructing games by examining: (i) the individual designer's aims and how these were mediated by the contexts of. - (ii) the development team and organisation; (iii) the needs of the audience and their presence in the innovation process and (iv) the impact of the hardware manufac
APA, Harvard, Vancouver, ISO, and other styles
11

Gogol-Döring, Andreas [Verfasser]. "SeqAn : a generic software library for sequence analysis / Andreas Gogol-Döring." Berlin : Freie Universität Berlin, 2009. http://d-nb.info/1023817543/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
12

Alkazemi, Basem Yousef. "Exploiting the architectural characteristics of software components to improve software reuse." Thesis, University of Newcastle Upon Tyne, 2009. http://hdl.handle.net/10443/1763.

Full text
Abstract:
Software development is a costly process for all but the most trivial systems. One of the commonly known ways of minimizing development costs is to re-use previously built software components. However, a significant problem that source-code re-users encounter is the difficulty of finding components that not only provide the functionality they need but also conform to the architecture of the system they are building. To facilitate finding reusable components there is a need to establish an appropriate mechanism for matching the key architectural characteristics of the available source-code comp
APA, Harvard, Vancouver, ISO, and other styles
13

Khan, Siffat Ullah. "Software outsourcing vendors' readiness model (SOVRM)." Thesis, Keele University, 2011. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.602968.

Full text
Abstract:
CONTEXT - Offshore software development outsourcing (OSDO) is a modern business strategy for developing high quality software in low-wage countries at low cost. OSDO is a contract-based relationship between client and vendor organisations in which a c1ient(s) contracts out all or part of its software development activities to a vendor(s), who provides agreed services in return for remuneration. Vendor's readiness plays an important role in the successful outcomes of OSDO projects. OBJECTIVE - The objective of this thesis is to develop a software outsourcing vendors' readiness model (SOVRM) to
APA, Harvard, Vancouver, ISO, and other styles
14

Martin, Jeremy Malcolm Randolph. "The design and construction of deadlock-free concurrent systems." Thesis, University of Buckingham, 1996. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.601333.

Full text
Abstract:
Throughout our lives we take for granted the safety of complex structures that surround us. We live and work in buildings with scant regard for the lethal currents of electricity and flammable gas coarsing through their veins. We cross high bridges with little fear of them crumbling into the depths below. We are secure in the knowledge that these objects have been constructed using sound engineering principles. Now, increasingly, we are putting OUT lives into the hands of complex computer programs. One could cite aircraft control systems, railway signalling systems, and medical databases as ex
APA, Harvard, Vancouver, ISO, and other styles
15

Di, Fabrizzio Giuseppe. "Automatic summarization of opinions in service reviews." Thesis, University of Sheffield, 2012. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.632550.

Full text
APA, Harvard, Vancouver, ISO, and other styles
16

Williams, Daniel R. "Modelling and assessing the environmental impacts of software." Thesis, University of Reading, 2013. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.602706.

Full text
Abstract:
Software is used on billions of devices every day for numerous activities and services that the modern world relies upon. It also has the potential to control energy consumption and maximise device efficiency, thus minimising device and service environmental impact. The academic background to the environmental impact of software, at the beginning of this research, was minor and little utilised by information and communications technology (ICT) organisations. Consequently, this research analysed and modelled three main software types enabling the environmental analysis of software use to take p
APA, Harvard, Vancouver, ISO, and other styles
17

Turner, Edward Nanakorn. "Improving the Process of Model Checking through State Space Reductions." Thesis, University of Southampton, 2007. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.485295.

Full text
Abstract:
Model checking is a technique for finding errors in systems and algorithms. The technique requires a formal definition of the system with a set of correctness conditions, and the use of a tool, the model checker, that searches for model behaviours violating these correctness conditions. The value of existing model checkers depends 'largely on the complexity of the system being checked. Systems involving complex data structures quickly encounter the problem of state explosion, and checking becomes intractable. Furthermore, auxiliary feedback originally designed to aid the practitioner (e.g., pr
APA, Harvard, Vancouver, ISO, and other styles
18

Bhattacharyya, Anirban. "Formal modelling and analysis of dynamic reconfiguration of dependable systems." Thesis, University of Newcastle Upon Tyne, 2013. http://hdl.handle.net/10443/1851.

Full text
Abstract:
The contribution of this thesis is a novel way of formally modelling and analyzing dynamic process reconfiguration in dependable systems. Modern dependable systems are required to be flexible, reliable, available and highly predictable. One way of achieving flexibility, reliability and availability is through dynamic reconfiguration. That is, by changing at runtime the structure of a system – consisting of its components and their communication links – or the hardware location of its software components. However, predicting the system’s behaviour during its dynamic reconfiguration is a challen
APA, Harvard, Vancouver, ISO, and other styles
19

Petrov, Nikolay. "Sequential Monte Carlo methods for extended and group object tracking." Thesis, Lancaster University, 2013. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.658087.

Full text
Abstract:
This dissertation deals with the challenging tasks of real-time extended and group object tracking. The problems are formulated as joint parameter and state estimation of dynamic systems. The solutions proposed are formulated within a general nonlinear framework and are based on the Sequential Monte Carlo (SMC) method, also known as Particle Filtering (PF) method. Eour different solutions are proposed for the extended object tracking problem. The first two are based on border parametrisation of the visible surface of the extended object. The likelihood functions are derived for two different s
APA, Harvard, Vancouver, ISO, and other styles
20

Rahman, Mohammad Sohel. "Fast and efficient algorithms on strings and sequences." Thesis, King's College London (University of London), 2007. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.617795.

Full text
Abstract:
The last few decades have witnessed the fascinating outgrowth of the field of String Algorithms. And, with the ever increasing mass of information and rapid pace of dissemination and sharing thereof, the importance and relevance of these algorithms can be expected to grow even further in near future. In this thesis, we have studied a number of interesting problems on strings and sequences and taken an effort to devise efficient algorithms to solve them. The problems we have studied here falls into two main categories of problems, namely the String Matching Problems and the Longest Common Subse
APA, Harvard, Vancouver, ISO, and other styles
21

Varanovich, Andrei [Verfasser], Ralf [Akademischer Betreuer] Lämmel, Colin [Gutachter] Atkinson, and Alfonso [Gutachter] Pierantonio. "Software chrestomathy as a knowledge-driven research infrastructure for software engineering / Andrei Varanovich ; Gutachter: Colin Atkinson, Alfonso Pierantonio ; Betreuer: Ralf Lämmel." Koblenz, 2018. http://d-nb.info/115070473X/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
22

Webb, Brian Robert. "Action in context - context in action : towards a grounded theory of software design." Thesis, University College London (University of London), 2001. http://discovery.ucl.ac.uk/1317550/.

Full text
Abstract:
This thesis develops a model and a theory of software design. Thirty-two transcripts of interviews with software designers were analysed using the Grounded Theory method. The first set of sixteen interviews drawn from the field of Digital Interactive Multimedia (Data-set A) was used to develop the model and theory, the second set of sixteen interviews drawn from one source of technical literature (Data-set B) was used to test and enhance the initial outcomes. Final outcomes are then grounded in the general literature on problem solving and design. The model is concerned to capture a rich, holi
APA, Harvard, Vancouver, ISO, and other styles
23

Cain, James Westland. "Stability and responsibility : visualising dependencies in large software systems." Thesis, University of Reading, 2002. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.409057.

Full text
APA, Harvard, Vancouver, ISO, and other styles
24

Harrison, Timothy Samuel. "Testing boundaries : a theory of adaption and framing effects in ongoing tasks." Thesis, University of Bath, 2012. https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.589641.

Full text
Abstract:
This thesis investigates how information presentation affects decisions in ongoing task scenarios. For this purpose it reapplies the principles of bounded rationality and specifically framing effects into this domain. Over a number of studies. unique properties concerning both frame effectiveness and additional measures such as confidence are observed to occur. A theory of cognitive adaptation to novel scenarios, and a redefining of the concept of framing effects are proposed as a result.
APA, Harvard, Vancouver, ISO, and other styles
25

Andrew, Alan W. "A class of software reliability growth models based on exercise frequencies." Thesis, Glasgow Caledonian University, 1990. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.688233.

Full text
APA, Harvard, Vancouver, ISO, and other styles
26

Mitchell, Robert Scott. "Dynamic configuration of distributed multimedia components." Thesis, Queen Mary, University of London, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.392369.

Full text
APA, Harvard, Vancouver, ISO, and other styles
27

Treharne, Helen Eleri. "Combining control executives and software specifications." Thesis, Royal Holloway, University of London, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.393072.

Full text
APA, Harvard, Vancouver, ISO, and other styles
28

Wickramarachchi, A. P. R. "Modelling large scale enterprises : a distributed simulation approach." Thesis, Sheffield Hallam University, 2004. http://shura.shu.ac.uk/20530/.

Full text
Abstract:
Distributed simulation provides an alternative solution when today's highly complicated systems including manufacturing are to be simulated. Complexities involved in implementation, the need for more expertise, high development cost and long implementation time etc. along with a lack of guidelines for developing distributed simulation, and the complexity of tools and techniques used to implement schemes, resulted in the lack of acceptance for distributed simulation among the general simulation community. In order to address some of these issues, a new approach is proposed for modelling and sim
APA, Harvard, Vancouver, ISO, and other styles
29

Williams, Colin Richard. "Practical strategies for agent-based negotiation in complex environments." Thesis, University of Southampton, 2012. https://eprints.soton.ac.uk/348190/.

Full text
Abstract:
Agent-based negotiation, whereby the negotiation is automated by software programs, can be applied to many different negotiation situations, including negotiations between friends, businesses or countries. A key benefit of agent-based negotiation over human negotiation is that it can be used to negotiate effectively in complex negotiation environments, which consist of multiple negotiation issues, time constraints, and multiple unknown opponents. While automated negotiation has been an active area of research in the past twenty years, existing work has a number of limitations. Specifically, mo
APA, Harvard, Vancouver, ISO, and other styles
30

Khan, Sobia. "An orthogonal framework for fault tolerance composition in software systems." Thesis, Lancaster University, 2015. http://eprints.lancs.ac.uk/80287/.

Full text
Abstract:
Building reliable systems is one of the major challenges faced by software developers as society is becoming more dependent on software systems. The failure of any system can lead to a serious loss, for example serious injury or death in case of safety critical systems and significant financial loss in the case of business-critical systems. As a consequence, fault tolerance is considered as a solution to provide reliability, but the fault tolerance capability is associated with many challenges, such as the right development phase where it needs to be introduced, how it can be composed with the
APA, Harvard, Vancouver, ISO, and other styles
31

Liew, Kenny Eng Wee. "A distributed real-time operating system for a multi-processor StrongARM network." Thesis, Nottingham Trent University, 2002. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.393509.

Full text
APA, Harvard, Vancouver, ISO, and other styles
32

Mugisa, Ezra Kaahwa. "An approach to systematic software reuse based on plugging components into an architecture." Thesis, Imperial College London, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.392068.

Full text
APA, Harvard, Vancouver, ISO, and other styles
33

Shams, Siamak. "Information systems : operationalization of agile software development 2003 – 2007." Thesis, Brunel University, 2007. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.556992.

Full text
APA, Harvard, Vancouver, ISO, and other styles
34

Alqahtani, Abdullah Saad H. "An investigation into distributed agile software development." Thesis, Glasgow Caledonian University, 2014. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.688299.

Full text
APA, Harvard, Vancouver, ISO, and other styles
35

Ikerionwu, Charles. "The development of a BPO-IT framework." Thesis, Glasgow Caledonian University, 2015. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.688314.

Full text
APA, Harvard, Vancouver, ISO, and other styles
36

Alsanie, Waleed. "Learning failure-free PRISM programs." Thesis, University of York, 2012. http://etheses.whiterose.ac.uk/3388/.

Full text
Abstract:
First-order logic can be used to represent relations amongst objects. Probabilistic graphical models encode uncertainty over propositional data. Following the demand of combining the advantages of both representations, probabilistic logic programs provide the ability to encode uncertainty over relational data. PRISM is a probabilistic logic programming formalism based on the distribution semantics. PRISM allows learning the parameters when the programs are known. This thesis proposes algorithms to learn failure-free PRISM programs. It combines ideas from both areas of inductive logic programmi
APA, Harvard, Vancouver, ISO, and other styles
37

Shahid, Ahmad. "Extraction of linguistic resources from multilingual corpora and their exploitation." Thesis, University of York, 2012. http://etheses.whiterose.ac.uk/2111/.

Full text
Abstract:
Increasing availability of on-line and off-line multilingual resources along with the developments in the related automatic tools that can process this information, such as GIZA++ (Och & Ney 2003), has made it possible to build new multilingual resources that can be used for NLP/IR tasks. Lexicon generation is one such task, which if done by hand is quite expensive with human and capital costs involved. Generation of multilingual lexicons can now be automated, as is done in this research work. Wikipedia, an on-line multilingual resource was gainfully employed to automatically build multilingua
APA, Harvard, Vancouver, ISO, and other styles
38

Armstrong, Alasdair. "Formal analysis of concurrent programs." Thesis, University of Sheffield, 2015. http://etheses.whiterose.ac.uk/13089/.

Full text
Abstract:
In this thesis, extensions of Kleene algebras are used to develop algebras for rely-guarantee style reasoning about concurrent programs. In addition to these algebras, detailed denotational models are implemented in the interactive theorem prover Isabelle/HOL. Formal soundness proofs link the algebras to their models. This follows a general algebraic approach for developing correct by construction verification tools within Isabelle. In this approach, algebras provide inference rules and abstract principles for reasoning about the control flow of programs, while the concrete models provide laws
APA, Harvard, Vancouver, ISO, and other styles
39

Hall, Mathew J. "Improving software remodularisation." Thesis, University of Sheffield, 2013. http://etheses.whiterose.ac.uk/4183/.

Full text
Abstract:
Maintenance is estimated to be the most expensive stage of the software development lifecycle. While documentation is widely considered essential to reduce the cost of maintaining software, it is commonly neglected. Auto- mated reverse engineering tools present a potential solution to this problem by allowing documentation, in the form of models, to be produced cheaply. State machines, module dependency graphs (MDGs), and other software models may be extracted automatically from software using reverse engineering tools. However the models are typically large and complex due to a lack of abstra
APA, Harvard, Vancouver, ISO, and other styles
40

Langner, Tobias [Verfasser]. "Visual Perception for Autonomous Driving / Tobias Langner." Berlin : Freie Universität Berlin, 2020. http://d-nb.info/1205735518/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
41

Siregar, Maria Ulfah. "Support for model checking Z specifications." Thesis, University of Sheffield, 2016. http://etheses.whiterose.ac.uk/17776/.

Full text
Abstract:
One of deficiencies in the Z tools is that there is limited support for model checking Z specifications. To build a model checker directly for a Z specification would take considerable effort and time due to the abstraction of the language. Translating inputs of a Z specification into a language that an existing model checker tool accepts is an alternative method. Researchers at the University of Sheffield implemented a translation tool which took a Z specification and translated it into the input for the Symbolic Analysis Laboratory (SAL) tool, a framework for combining different tools for ab
APA, Harvard, Vancouver, ISO, and other styles
42

DI, STASI ADRIANA. "Il peptide antimicrobico B7-005: biocompatibilità, modalità d'azione e attività antimicrobica contro i patogeni ESKAPE." Doctoral thesis, Università degli Studi di Trieste, 2023. https://hdl.handle.net/11368/3042424.

Full text
Abstract:
L'Organizzazione Mondiale della Sanità ha elencato alcuni patogeni resistenti alla maggior parte degli antibiotici e responsabili della maggior parte delle infezioni nosocomiali. Questi patogeni sono indicati con l'acronimo ESKAPE: E. faecium, S. aureus, K. pneumoniae, A. baumannii, P. aeruginosa ed Enterobacter spp. Sono urgentemente necessari nuovi farmaci che superino la resistenza agli antibiotici di questi patogeni. Grandi speranze sono rivolte ai peptidi antimicrobici ricchi di proline (PrAMP). I PrAMP presentano un'attività antimicrobica potente e specifica, penetrano in alcune specie b
APA, Harvard, Vancouver, ISO, and other styles
43

Willink, Edward D. "Meta-compilation for C++." Thesis, University of Surrey, 2002. http://epubs.surrey.ac.uk/844508/.

Full text
Abstract:
Software Engineering progresses as improvements are made in languages and methodologies. Significant advances have been made through the use of Object- Oriented Programming, exploiting the effective support available in C++. Further evolution of OOP involving the use of design patterns and aspects requires additional language support. Increased flexibility in the declaration of objects is proposed in the form of the FOG (Flexible Object Generator) language, which is a superset of C++ implemented by a translator to C++. FOG generalises C++ syntax and supports compile-time meta-programming and r
APA, Harvard, Vancouver, ISO, and other styles
44

Streader, David. "Abstraction and refinement of process actions." Thesis, Queen Mary, University of London, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.368046.

Full text
APA, Harvard, Vancouver, ISO, and other styles
45

Cassel, Ricardo Augusto. "Web-based simulation : the three-phase worldview and Java." Thesis, Lancaster University, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.314241.

Full text
APA, Harvard, Vancouver, ISO, and other styles
46

Huening, Harald Frank. "Using self-organising catalytic networks in adaptive systems." Thesis, Imperial College London, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.391151.

Full text
APA, Harvard, Vancouver, ISO, and other styles
47

Ma, Sula. "An object-based algebraic specification environment." Thesis, University of Oxford, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.365432.

Full text
APA, Harvard, Vancouver, ISO, and other styles
48

Kristensen, Allan Juhl. "Making plain/s space : the literary geographies of Cather, Kroetsch, and Heat-Moon." Thesis, University of Newcastle Upon Tyne, 2009. http://hdl.handle.net/10443/976.

Full text
Abstract:
This thesis examines literary texts as place-making conduits in the case of the North American region commonly referred to as the Great Plains or the prairies. From a discursive and historicist perspective, it demonstrates how Willa Cather's novel 0 Pioneersl, Robert Kroetsch's poems 'Stone Hammer Poem' and 'Seed Catalogue', and William Least Heat-Moon's PrairyErth constitute key twentieth-century literary geographies that demarcate a shift in the way the land on the ground has been overlaid with spatial tropes and narrative structures. The direction of the shift, it is argued here, is from a
APA, Harvard, Vancouver, ISO, and other styles
49

Levy, Zeeva. "Estimating the effort in the early stages of software development." Thesis, London School of Economics and Political Science (University of London), 1990. http://etheses.lse.ac.uk/2088/.

Full text
Abstract:
Estimates of the costs involved in the development of a software product and the likely risk are two of the main components associated with the evaluation of software projects and their approval for development. They are essential before the development starts, since the investment early in software development determines the overall cost of the system. When making these estimates, however, the unknown obscures the known and high uncertainty is embedded in the process. This is the essence of the estimator's dilemma and the concerns of this thesis. This thesis offers an Effort Estimation Model
APA, Harvard, Vancouver, ISO, and other styles
50

Taweel, Adel. "Improving time-to-market through globally distributed software development." Thesis, Keele University, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.368983.

Full text
Abstract:
Reductions in development time and cost are important factors for software engineering. Such reductions not only enable companies to sell products earlier, faster and cheaper but in some cases, are necessary for the survival of an organisation. While many ways have been suggested to reduce development time and costs, the complex nature of software development remains a challenge. This research investigates the opportunities to reduce time-to-market through "around the clock" software development. It focuses on a particular work pattern, SeSE (sequential collaborative software engineering), in
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!