Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Classification of research efforts in requirements engineering
ACM Computing Surveys (CSUR)
Using Test Oracles Generated from Program Documentation
IEEE Transactions on Software Engineering
Successful software engineering research
ACM SIGSOFT Software Engineering Notes
Automatic generation of state invariants from requirements specifications
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications
IEEE Transactions on Software Engineering
From formal models to formally based methods: an industrial experience
ACM Transactions on Software Engineering and Methodology (TOSEM)
Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on Software Engineering
Information survivability control systems
Proceedings of the 21st international conference on Software engineering
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
ACM SIGSOFT Software Engineering Notes
Requirements-based monitors for real-time systems
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Automatic Analysis of Consistency between Requirements and Designs
IEEE Transactions on Software Engineering
Automated deductive requirements analysis of critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Using SCR to specify requirements of the BART advanced automated train control system
High integrity software
Requirements-Based Monitors for Real-Time Systems
IEEE Transactions on Software Engineering
A language for systems not just software
Proceedings of the 2001 annual ACM SIGAda international conference on Ada
Agent-based tactics for goal-oriented requirements elaboration
Proceedings of the 24th International Conference on Software Engineering
Deriving operational software specifications from system goals
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Model Checking Complete Requirements Specifications Using Abstraction
Automated Software Engineering
Deriving operational software specifications from system goals
ACM SIGSOFT Software Engineering Notes
A Reference Model for Requirements and Specifications
IEEE Software
Safety Analysis of Requirements for a Product Family
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
On a Mereological System for Relational Software Specifications
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
An Easily Extensible Toolset for Tabular Mathematical Expressions
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Towards a Mereological System for Direct Products and Relations
TSCTC '02 Proceedings of the Third International Conference on Rough Sets and Current Trends in Computing
Building Formal Requirements Models for Reliable Software
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Closing the Loop: The Influence of Code Analysis on Design
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
A Rigorous View of Mode Confusion
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
High Level System Design and Analysis Using Abstract State Machines
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Structural Embeddings: Mechanization with Method
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
SC(R)3: towards usability of formal methods
CASCON '98 Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research
A Generic Approach to the Formal Specification of Requirements
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Requirements interaction management
ACM Computing Surveys (CSUR)
The Declarative Problem Frame: Designing Systems that Create and Use Norms
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
A strategy for efficiently verifying requirements
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Why software writing is difficult and will remain so
Information Processing Letters - Special issue: Contribution to computing science
Structured programming: a minor part of software engineering
Information Processing Letters - Special issue: Contribution to computing science
CASCON '03 Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative research
Elaborating Security Requirements by Construction of Intentional Anti-Models
Proceedings of the 26th International Conference on Software Engineering
A formal software requirements specification method for digital nuclear plant protection systems
Journal of Systems and Software - Special issue: Automated component-based software engineering
Monitoring and control in scenario-based requirements analysis
Proceedings of the 27th international conference on Software engineering
Towards automatic problem decomposition: an ontology-based approach
Proceedings of the 2006 international workshop on Advances and applications of problem frames
Scenario-driven modeling and validation of requirements models
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Mastering the complexity of reactive systems: the AutoFocus approach
Formal methods for embedded distributed systems
Tabular Expressions and Their Relational Semantics
Fundamenta Informaticae
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
An IDE for software development using tabular expressions
CASCON '07 Proceedings of the 2007 conference of the center for advanced studies on Collaborative research
On the Formal Development of Safety-Critical Software
Verified Software: Theories, Tools, Experiments
Requirements engineering: from craft to discipline
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
The Name and Nature of Software Engineering
Advances in Software Engineering
A direct path to dependable software
Communications of the ACM - A Direct Path to Dependable Software
Document based rational software development
Knowledge-Based Systems
Component Interface Documentation: What do we Need and Why do we Need it?
Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06
Integrating Functional and Architectural Views of Reactive Systems
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
On Non-Functional Requirements in Software Engineering
Conceptual Modeling: Foundations and Applications
Reasoning About Alternative Requirements Options
Conceptual Modeling: Foundations and Applications
Model-Based Safety-Cases for Software-Intensive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Towards dynamic partitioning of reactive system behavior: a train controller case study
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
Deriving specifications for systems that are connected to the physical world
Formal methods and hybrid real-time systems
Defining the meaning of tabular mathematical expressions
Science of Computer Programming
From Requirements to Architecture
Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
Synthesis of live behaviour models
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
An approach of requirements tracing in formal refinement
VSTTE'10 Proceedings of the Third international conference on Verified software: theories, tools, experiments
Model-based safety engineering of interdependent functions in automotive vehicles using EAST-ADL2
SAFECOMP'10 Proceedings of the 29th international conference on Computer safety, reliability, and security
Unifying theories of programming that distinguish nontermination and abort
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Formal Methods in System Design
Synthesizing a specification-based monitor for safety requirements
Iranian Journal of Science and Technology, Transaction B: Engineering
An experimental assessment of module documentation-based testing
Information and Software Technology
Synthesis of live behaviour models for fallible domains
Proceedings of the 33rd International Conference on Software Engineering
Electronic Notes in Theoretical Computer Science (ENTCS)
ICSR'11 Proceedings of the 12th international conference on Top productivity through software reuse
Abstraction based automated test generation from formal tabular requirements specifications
TAP'11 Proceedings of the 5th international conference on Tests and proofs
FECT: a modelling framework for automatically composing web services
WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
Three perspectives in formal engineering
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
The use of mathematics in software quality assurance
Frontiers of Computer Science in China
Timing tolerances in safety-critical software
FM'05 Proceedings of the 2005 international conference on Formal Methods
Computing refactorings of behavior models
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Why programming languages still matter
Rigorous Development of Complex Fault-Tolerant Systems
A family of mathematical methods for professional software documentation
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
The subject-oriented approach to software design and the abstract state machines method
Conceptual Modelling and Its Theoretical Foundations
On constructing software environment ontology for time-continuous environment
KSEM'11 Proceedings of the 5th international conference on Knowledge Science, Engineering and Management
Synthesis of event-based controllers: a software engineering challenge
Proceedings of the 34th International Conference on Software Engineering
Tabular Expressions and Their Relational Semantics
Fundamenta Informaticae
Reasoning with contextual requirements: Detecting inconsistency and conflicts
Information and Software Technology
Fundamenta Informaticae
Synthesizing nonanomalous event-based controllers for liveness goals
ACM Transactions on Software Engineering and Methodology (TOSEM)
Ideal mode selection of a cardiac pacing system
DHM'13 Proceedings of the 4th International conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management: healthcare and safety of the environment and transport - Volume Part I
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
A method and tool for tracing requirements into specifications
Science of Computer Programming
Guiding requirements engineering for software-intensive embedded systems in the automotive industry
Computer Science - Research and Development
Hi-index | 0.00 |