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 20 of 33 for “"Requirements Specification"”.
-
Requirements specification and verification of production tooling
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 1995, and Thesis (M.S.)--Massachusetts Institute of Technology, Sloan School of Management, 1995.
-
A requirements specification model for a product line
… framework, to support automatic and interactive requirements generation and specification when creating families of systems. In realizing the model, two goals were targeted namely (i) to construct a requirement engineering model that support automatic transformation of domain features into …
-
Evaluating visualization in formal requirements specification : an experiment with human subjects
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2003.
-
An approach in software requirements specification with generative AI and RSL framework
Este estudo explora o impacto da Inteligência Artificial (IA) na resolução das ambiguidades e ineficiências inerentes ao processamento da língua natural no domínio da especificação de requisitos de software (SRS). Ao aliar as capacidades da linguagem ITLingo RSL e integrá-las com ferramentas de …
-
A case study of pre-requirements specification traceability practices in a retail environment
… An exploration into the application of pre-requirements specification traceability (pre-RST) practices in Information Systems (IS) projects within a retail setting. Research Design/methodology: A qualitative study in the interpretivist tradition applied within a single case study setting was …
-
Veiklos taisyklėmis grindžiamos reikalavimų, kuriamai IS, specifikavimo saugojimo sistema /
The success of requirements analysis often decides the quality of the finished information system (IS). Application of ideas behind the business rules approach for requirements analysis could help narrow the gap between business representatives and analysts thus paving the way to a better …
-
Healthcare provision in the Gambia : the role of health informatics
… paper-based provision. From this analysis, a requirements specification has been produced for a proposed health information and administration system (HIAS) to become operational and also successful in terms of efficiency and effectiveness. The requirements specification has taken the form of …
-
The semantic database model as a basis for an automated database design tool
… aid for network database creation. It obtains a requirements specification from a user and generates a prototype database. This database is compatible with the Data Definition Language of DMS 1100, the database system on the Univac 1108 at the University of Cape Town. The user interface has been …
-
Automatic generation of SDL specifications from MSCs
… phases during their life cycle. From user requirements to the deployment and maintenance, a software system goes through design, implementation and testing phases. The time for developing software systems is crucial. The goal of software teams is to shorten the development time and …
-
A wireless wide area network PDA application for on-call ambulatory care physicians
… System (PHS) physicians to determine user requirements, implemented a formal method (not previously used within the PHS Information Systems division) to create a Software Requirements Specification (SRS), and developed a prototype user interface for a future LMR2go application (a mobile …
-
Relational specification as a testing oracle
… this testing literature rarely deals with specification based testing. Testing from formal specifications offers a simple, structured and more rigorous approach to the functional tests than testing techniques. An important application of specification in testing is providing test oracles. …
-
Analyzing and evaluating security features in software requirements
Software requirements, for complex projects, often contain specifications of non-functional attributes (e.g., security-related features). The process of analyzing such requirements for standards compliance is laborious and error prone. Due to the inherent free-flowing nature of software …
-
Modeling and analysis of software specifications for an autonomous aerial vehicle
… approach for modeling and analyzing software requirements specifications, for safety related properties, of the supervisory architecture of an autonomous aerial vehicle. The requirements specification model, developed using concepts from controls engineering, is in a tabular format and …
-
Formal Analysis and Design for Engineering Security
… discipline needed to formulate precisely the requirements and due complexities that often confront engineers. Further, the cost of development and the requisite learning curve of formal methods are quite high making them cost prohibitive to apply, especially for large software. The transition …
-
NeOn Methodology for Building Ontology Networks: Specification, Scheduling and Reuse
… guidelines for performing the ontology requirements specification activity, to obtain the requirements that the ontology should fulfil. - It offers some methodological guidelines for obtaining the ontology network life cycle for a concrete ontology network, as part of scheduling ontology …
-
Optimizing TEE Protection by Automatically Augmenting Requirements Specifications
… software engineering process, starting from Requirements Engineering. To address this problem, we present a novel approach that incorporates TEEs in the Requirements Engineering phase by using natural language processing (NLP) to classify those software requirements that are security critical …
-
Elektroninės parduotuvės valdymo sistema /
… preferably in their native language. From these requirements, we can describe this system’s achievements: flexible online shop content management system that is available for free. The system is easy to control, features many functions and user-friendly interface. This allows shop owners to …
-
Desiree - a Refinement Calculus for Requirements Engineering
The requirements elicited from stakeholders suffer from various afflictions, including informality, incompleteness, ambiguity, vagueness, inconsistencies, and more. It is the task of requirements engineering (RE) processes to derive from these an eligible (formal, complete enough, unambiguous, …
-
Synthesis of Partial Behavior Models from Overlapping Scenarios with Alternative Alphabets
<p>System requirements can be expressed as a set of scenarios and a set of properties.Behavioral models are synthesized from these scenarios and properties. Behavioralmodels can be used to validate requirements specification and during early stages ofsystem design. Two problems arise during the …
Page 1 of 2