Filters








138,934 Hits in 5.7 sec

Managing Consistency between Textual Requirements, Abstract Interactions and Essential Use Cases

Massila Kamalrudin, John Grundy, John Hosking
2010 2010 IEEE 34th Annual Computer Software and Applications Conference  
Our tool supports inconsistency checking between textual requirements, abstract interactions that derive from the text and Essential Use Case models.  ...  We have embedded this into a light-weight automated tracing tool in order to allow users to capture their requirements and generate Essential Use Case models of these requirements automatically.  ...  There are efforts devoted to checking inconsistency using formal and semi formal specifications.  ... 
doi:10.1109/compsac.2010.40 dblp:conf/compsac/KamalrudinGH10 fatcat:y6wjfg5kdffspiqk2buxmzcdb4

An outline of a taxonomy of computer security research and development

Catherine Meadows
1993 Proceedings on the 1992-1993 workshop on New security paradigms - NSPW '92-93  
Assurance 4.1 Formal and Semi-Formal Methods 4.2 Testing 4.3 Evaluation 5.  ...  We divide assurance techniques int,o four a.rea.s: formal methods, semi-formal methods, testing, eva.luation.  ... 
doi:10.1145/283751.283770 dblp:conf/nspw/Meadows93 fatcat:eb3al2v6lfdejhx2hc6z6rtup4

Detection of Pilot Errors in Data by Combining Task Modeling and Model Checking [chapter]

Florian Frische, Tomasz Mistrzyk, Andreas Lüdtke
2009 Lecture Notes in Computer Science  
We envision applying this method to automatically detect pilot errors during flight tests or pilot training.  ...  In this paper we show a consistent approach of using Hierarchical Task Analysis together with model checking to identify pilot errors during the interaction with cockpit automation systems in aircraft.  ...  We are currently developing a method based on formal automata and model checking to perform the detection of pilot errors and ET classification automatically.  ... 
doi:10.1007/978-3-642-03655-2_59 fatcat:tkvw6n277zgejbohm5qqtupc7u

Simulation-based validation and defect localization for evolving, semi-formal requirements models

C. Seybold, M. Glinz, S. Meier
2005 12th Asia-Pacific Software Engineering Conference (APSEC'05)  
We present how we can simulate incomplete, semi-formal models by interactively recording missing behavior or functionality.  ...  require complete, formal models.  ...  The problem is aggravated when we specify requirements by formal or semi-formal models and develop these models in an interactive and evolutionary style.  ... 
doi:10.1109/apsec.2005.97 dblp:conf/apsec/SeyboldM05 fatcat:chkbxkxd5fal7pmz63mdarxm3q

Software Requirements Conflict Identification: Review and Recommendations

Maysoon Aldekhail, Azzedine Chikh, Djamal Ziani
2016 International Journal of Advanced Computer Science and Applications  
Method: A comparative literature was conducted by assessing 20 studies dated from 2001 to 2014.  ...  Successful development of software systems requires a set of complete, consistent and clear requirements.  ...  Level-1 uses informal approaches to detect accurate and domain known interaction with the help of experts, Level-2 Identifies requirements interaction using semi-formal, semi-formal means systematic steps  ... 
doi:10.14569/ijacsa.2016.071044 fatcat:afgn4n66mjbdfbyjs4vcvgrdde

Streamline verification process with formal property verification to meet highly compressed design cycle

P. Chatterjee
2005 Proceedings. 42nd Design Automation Conference, 2005.  
In this paper, I describe a methodology and tool flow for using formal verification effectively to reduce the verification burden in large custom ASIC designs.  ...  Semi-formal verification: we use a semi-formal tool that is integrated into the simulator.  ...  An "interesting state" can be defined by user using assertion library or is automatically qualified by the semi-formal tool's heuristics. This increases both coverage and consequently, bug detection.  ... 
doi:10.1109/dac.2005.193897 fatcat:c7jruc4q4bcklin7tyehp4epwe

Streamline verification process with formal property verification to meet highly compressed design cycle

Prosenjit Chatterjee
2005 Proceedings of the 42nd annual conference on Design automation - DAC '05  
In this paper, I describe a methodology and tool flow for using formal verification effectively to reduce the verification burden in large custom ASIC designs.  ...  Semi-formal verification: we use a semi-formal tool that is integrated into the simulator.  ...  An "interesting state" can be defined by user using assertion library or is automatically qualified by the semi-formal tool's heuristics. This increases both coverage and consequently, bug detection.  ... 
doi:10.1145/1065579.1065757 dblp:conf/dac/Chatterjee05 fatcat:vjzlhmd3enh6pfl5ili75ctnum

A Formal Knowledge Level Process Model of Requirements Engineering [chapter]

Daniela E. Herlea, Catholijn M. Jonker, Jan Treur, Niek J. E. Wijngaards
1999 Lecture Notes in Computer Science  
In this paper the process of Requirements Engineering has been analyzed using knowledgelevel modelling techniques, resulting in a well-specified compositional process model for the Requirements Engineering  ...  In current literature few detailed process models for Requirements Engineering are presented: usually high-level activities are distinguished, without a more precise specification of each activity.  ...  Both requirements and scenarios can be expressed in varying degrees of formality: from informal, to semi-formal (structured natural language description), to formal (using temporal logic).  ... 
doi:10.1007/978-3-540-48765-4_92 fatcat:npmjkaqstngg3gw5m6hjushqni

Formal Modeling and Analysis of Object Oriented Systems using Triple Graph Grammars

Wafa Chama, Allaoua Chaoui, Seidali Rehab
2015 International Journal of Embedded and Real-Time Communication Systems  
This paper proposes a Model Driven Engineering automatic translation approach based on the integration of rewriting logic formal specification and UML semi-formal models.  ...  This integration is a contribution in formalizing UML models since it lacks for formal semantics.  ...  The combined use of graphic methods and rigorous techniques based on mathematical theories is required in software development projects.  ... 
doi:10.4018/ijertcs.2015040103 fatcat:5hzywounl5e2vhl7z3gxbul6p4

Improving requirements quality using essential use case interaction patterns

Massila Kamalrudin, John Hosking, John Grundy
2011 Proceeding of the 33rd international conference on Software engineering - ICSE '11  
We use a concept of essential use case interaction patterns to perform the correctness and completeness analysis on the semi-formal representation.  ...  We describe a technique and support tool that allows us to perform semi-automated checking of natural language and semi-formal requirements models, supporting both consistency management between representations  ...  We then use a concept of essential interaction patterns to detect quality problems in the extracted semi-formal requirements models (i.e. potential inconsistency, incompleteness and incorrectness), which  ... 
doi:10.1145/1985793.1985866 dblp:conf/icse/KamalrudinHG11 fatcat:rxvhqvi6jzcsbhvcf6lgjcpquq

Editorial: model-based requirements engineering

Tim Menzies
2003 Requirements Engineering  
For example: • In Merging Individual Conceptual Models of Requirements, Richards shows that the natural language seen in commonly-used RE methods (i.e.  ...  UML use cases) are sufficiently structured to support contradiction and subsumption detection.  ...  merits of humans inspecting requirements models using a variant of formal inspection methods.These methods have been used for decades to read and assess source code.  ... 
doi:10.1007/s00766-002-0156-7 fatcat:qibfcclnkvfvzfjtukg4ztp5ly

Specification of Non-Functional Requirements: A Hybrid Approach

Unnati S. Shah, Sankita Patel, Devesh Jinwala
2016 Requirements Engineering: Foundation for Software Quality  
We observe that it is a usual practice for a user to narrate the NFRs in natural language and the requirement engineers manually try to express the same, using some semi-formal or formal language notations  ...  However, inaccurate and the laborious manual approach may fail to detect all the NFRs and correctly remove the ambiguities in those detected.  ...  The semi-formal approach, focus on the classification of the NFRs and the formal methods (viz. Z notations [50] , UML-B [51] ) help for formal specification of the NFRs. Our proposed approach viz.  ... 
dblp:conf/refsq/ShahPJ16 fatcat:kpvzam2ofzbvziy4if2iikkjbm

A COMPOSITIONAL KNOWLEDGE LEVEL PROCESS MODEL OF REQUIREMENTS ENGINEERING

DANIELA E. HERLEA, CATHOLIJN M. JONKER, JAN TREUR, NIEK J. E. WIJNGAARDS
2002 International journal of software engineering and knowledge engineering  
compositional knowledge modelling method DESIRE (Design and Specification of Interacting Reasoning components); cf. .  ...  The application of a knowledge modelling method to the domain of Requirements Engineering in this paper has resulted in a compositional process model of the task of Requirements Engineering, based on the  ...  The process reformulation into semi-formal requirements reformulates information and semi-formal requirements into semi-formal requirements.  ... 
doi:10.1142/s0218194002000792 fatcat:zxtzsbt6czhs5n4vnpwak36ghy

An approach to applying SOFL for agile process and its application in developing a test support tool

Shaoying Liu
2009 Innovations in Systems and Software Engineering  
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development.  ...  In this paper, we describe a novel approach to applying the SOFL method to achieve agile development process.  ...  Test cases can be generated based on the semi-formal specification. The developer and the client can work together to detect bugs through testing.  ... 
doi:10.1007/s11334-009-0114-3 fatcat:5atf22ixmraxdb7w4ulkb6p77q

Formal and Intelligent Methods for Security and Resilience: Education and Training Issues

Oksana Pomorova, Sergii Lysenko
2016 Information & Security: An International Journal  
The module deals with the issues of development and usage of formal methods for designing secure software systems and implementation of formal methods for assuring security of computer networks.  ...  The first one deals with the question about the formal methods for Architecting Secure Software Systems.  ...  It demonstrates how to provide a systematic and automated bridge between semi-formal security requirements and formal design and implementation using the formal methods.  ... 
doi:10.11610/isij.3507 fatcat:d24m3sfaxveqbjqakjeknkvxyi
« Previous Showing results 1 — 15 out of 138,934 results