Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 11 of 11 for “"Software Systems Engineering"”.
-
Information sharing among ideal agents
Multi-agent systems operating in complex domains crucially require agents to interact with each other. An important result of this interaction is that some of the private knowledge of the agents is being shared in the group of agents. This thesis investigates the theme of knowledge sharing from a …
-
Language support for service-level agreements for application-service provision
My thesis is that practical language support can be provided for Service-Level Agreements (SLAs) for Application-Service Provision (ASP), which is better than that provided by pre-existing languages in that: it provides greater assistance in expressing conditions that mitigate the risks inherent in …
-
Model checking multi-agent systems
… process of modelling complex and heterogeneous systems is intrinsically prone to errors: for this reason, computer scientists are typically concerned with the issue of verifying that a system actually behaves as it is supposed to, especially when a system is complex. Techniques have been …
-
Adapting mobile systems using logical mobility primitives
… Despite the ubiquity of mobile devices, mobile systems are built using monolithic architectures, use a small set of predefined interaction paradigms and do not exploit or adapt to the dynamicity of their local or remote context. Applications deployed on mobile devices face considerable …
-
Managing the consistency of distributed documents
… documents as part of their daily activities: software engineers produce requirements specifications, design models, source code, build scripts and more; business analysts produce glossaries, use cases, organisation charts, and domain ontology models; service providers and retailers produce …
-
Reflective mobile middleware for context-aware applications
The increasing popularity of mobile devices, such as mobile phones and personal digital assistants, and advances in wireless networking technologies, are enabling new classes of applications that present challenging problems to application designers. Applications have to be aware of, and adapt to, …
-
Design and verification of distributed tasking supervisors for concurrent programming languages
… Supervisor is a portable, modular, distributed software system written in Ada. The interface between the Supervisor and application programs forms the topmost layer of the Supervisor and is formally specified in Anna (ANNotated Ada). All machine dependences are encapsulated in the bottom layer …
-
Tool specification with GTSL
… the construction of tools for process-centred software development environments (PSDEs). Our main contribution is the proof that object database systems are a very suitable basis for improving the functionality of software development tools and for integrating them in PSDEs. We set out to prove …
-
A fuzzy inference-based approach to planning quality of enterprise business services /
… increasingly popular in the field of information systems as well as software systems engineering. The symbiosis between an Enterprise Architecture and SOA results in so-called Service-Oriented Enterprise Architecture. Systems that implement this architecture are addressed as service-oriented …
-
Neraiškiais samprotavimais grindžiamas metodas verslo paslaugų kokybei planuoti įmonių paslaugų stiliaus informacinėse sistemose /
… increasingly popular in the field of information systems as well as software systems engineering. The symbiosis between an Enterprise Architecture and SOA results in so-called Service-Oriented Enterprise Architecture. Systems that implement this architecture are addressed as service-oriented …
-
Activity Node Based Flight Software as a Benefit to Systems Engineering
… report discusses one application of a flight software design for a spacecraft in which the software executes from a database that can be managed by systems engineering. This report gives an overview of how such a software design can be developed and implemented. It also discusses why this …