Sciweavers

    RE   2002 IEEE International Conference on Requirements Engineering
    Wall of Fame | Most Viewed RE-2002 Paper
    RE
    2002
    Springer
    205views Software Engineering» more  RE 2002»
    Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts
    13 years 11 months ago
    Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts
    Download  is.tm.tue.nl
    perfect technology assumption, which abstracts from limitations imposed by an implementation. Statecharts describe object life cycles. Our semantics includes synchronous and asynch...
    Rik Eshuis, David N. Jansen, Roel Wieringa
    claim paper
    Read More »
    Disclaimer and Copyright Notice
    Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
    IdReadViewsTitleStatus
    1Download preprint from source205
    Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts
    claim
    2Download preprint from source188
    Effective Communication in Requirements Elicitation: A Comparison of Methodologies
    claim
    3Download preprint from source163
    AGORA: Attributed Goal-Oriented Requirements Analysis Method
    claim
    4Download preprint from source153
    On the Use of Visualization in Formal Requirements Specification
    claim
    5Download preprint from source152
    Extreme Programming Modified: Embrace Requirements Engineering Practices
    claim
    6Download preprint from source130
    A Software Fault Tree Approach to Requirements Analysis of an Intrusion Detection System
    claim
    7Download preprint from source129
    Goal-Oriented Requirements Engineering: A Unifying Framework
    claim
    8Download preprint from source126
    Model Based Requirements Engineering for Embedded Software
    claim
    9Download preprint from source126
    Requirements Engineering in Automotive Development - Experiences and Challenges
    claim
    10Download preprint from source124
    Analyzing Website Privacy Requirements Using a Privacy Goal Taxonomy
    claim
    11Download preprint from source124
    Using Maturity Assessments to Understand the ERP Requirements Engineering Process
    claim
    12Download preprint from source121
    Tool-Based Risk Management Made Practical
    claim
    13Download preprint from source120
    Rationale-Based Use Case Specification
    claim
    14Download preprint from source118
    On Abstraction in Scenarios
    claim
    15Download preprint from source116
    Automating Speculative Queries through Event-Based Requirements Traceability
    claim
    16Download preprint from source113
    Converging on the Optimal Attainment of Requirements
    claim
    17Download preprint from source113
    Guest Editorial: Special Issue on Model Checking in Requirements Engineering
    claim
    18Download preprint from source113
    Requirements Reuse for Improving Information Systems Security: A Practitioner's Approach
    claim
    19Download preprint from source112
    Requirements Engineering in the Health Care Domain
    claim
    20Download preprint from source111
    Round-Trip Prototyping Based on Integrated Functional and User Interface Requirements Specifications
    claim
    21Download preprint from source109
    Exploring the Relationship between Project Selection and Requirements Analysis: An Empirical Study of the New Millennium Program
    claim
    22Download preprint from source105
    Application of Linguistic Techniques for Use Case Analysis
    claim
    23Download preprint from source99
    Managing (Requirements) Evolutions of High Assurance Systems
    claim
    24Download preprint from source98
    Introducing Requirements Engineering: How to Make a Cultural Change Happen in Practice
    claim
    25Download preprint from source95
    Improving the Requirements Engineering Process for an Electronic Clearinghouse
    claim
    26Download preprint from source93
    Relating Software Requirements and Architectures Using Problem Frames
    claim
    27Download preprint from source86
    Security Requirements Engineering: When Anti-Requirements Hit the Fan
    claim
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.