Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Toward user-defined element types and architectural styles
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Connecting viewpoints by shared phenomena
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
An undergraduate course in formal methods: “description is our business”
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
Lessons from Using Z to Specify a Software Tool
IEEE Transactions on Software Engineering
Composition and refinement of discrete real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Requirements Elicitation and Validation with Real World Scenes
IEEE Transactions on Software Engineering
Supporting Scenario-Based Requirements Engineering
IEEE Transactions on Software Engineering
Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on Software Engineering
Exercises for teaching logic in a formal methods course: formalizing ERDs
SIGCSE '99 The proceedings of the thirtieth SIGCSE technical symposium on Computer science education
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
The use of goals to surface requirements for evolving systems
Proceedings of the 20th international conference on Software engineering
Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education
Requirements engineering: a roadmap
Proceedings of the Conference on The Future of Software Engineering
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
Requirements engineering for product families
Proceedings of the 22nd international conference on Software engineering
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Knowledge structuring and representation in requirement specification
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
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
Annals of Software Engineering
Abstraction and context in requirements engineering: Toward a synthesis
Annals of Software Engineering
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
CREWS-SAVRE: Scenarios for Acquiring and Validating Requirements
Automated Software Engineering
Desert Island Reading: A Software Engineering Perspective
Automated Software Engineering
Group and Individual Time Management Tools: What You Get is Not What You Need
Personal and Ubiquitous Computing
Empirical Software Engineering
Picking the Right Problem Frame—An Empirical Study
Empirical Software Engineering
Getting computers to understand
Journal of the ACM (JACM)
A trace model for system requirements changes on embedded systems
IWPSE '01 Proceedings of the 4th International Workshop on Principles of Software Evolution
Deriving operational software specifications from system goals
ACM SIGSOFT Software Engineering Notes
Requirements Engineering: The Emerging Wisdom
IEEE Software
Making Architecture Reviews Work in the Real World
IEEE Software
Organization, Information System and Distribution Modeling: An Integrated Approach
EDOC '97 Proceedings of the 1st International Conference on Enterprise Distributed Object Computing
A Model for Describing Object-Oriented Systems from Multiple Perspectives
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
What Is `Mathematicalness' in Software Engineering?
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
An Approach for Cross-Discipline Requirements Engineering Process Patterns
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
Ossa - A Conceptual Modelling System for Virtual Realities
ICCS '01 Proceedings of the 9th International Conference on Conceptual Structures: Broadening the Base
A Methodological Framework for Understanding IS Adaptation through Enterprise Change1
OOIS '02 Proceedings of the 8th International Conference on Object-Oriented. Information Systems
A Field Guide to Boxology: Preliminary Classification of Architectural Styles for Software Systems
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Building Formal Requirements Models for Reliable Software
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
General Software Process Organization in the OSMOSIS Project
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Modelling Component Dependencies to Inform Their Selection
ICCBSS '03 Proceedings of the Second International Conference on COTS-Based Software Systems
Attempto Controlled English - Not Just Another Logic Specification Language
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Domain Engineering: A Software Engineering Discipline in Need of Research
SOFSEM '00 Proceedings of the 27th Conference on Current Trends in Theory and Practice of Informatics
Using Algebraic Specification Techniques in Development of Object-Oriented Frameworks
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Applying information-retrieval methods to software reuse: a case study
Information Processing and Management: an International Journal
"What is a method?": an essay on some aspects of domain engineering
Programming methodology
Proceedings of the 25th International Conference on Software Engineering
Database integrity
Analysis by Contract or UML with Attitude
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
What Does Industry Need From Formal Specification Techniques?
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Requirements interaction management
ACM Computing Surveys (CSUR)
An Approach to Preserving Sufficient Correctness in Open Resource Coalitions
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
The Dangerous 'All' in Specifications
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
The Declarative Problem Frame: Designing Systems that Create and Use Norms
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Problems and Deficiencies of UML as a Requirements Specification Language
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
How Modeling Methods Affect the Process of Architectural Design Decisions: A Comparative Study
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
A computational mechanism for parallel problem decomposition during requirements engineering
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Traceability and Modularity in Software Design
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Business Rules as Organizational Policies
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
From Early to Late Formal Requirements: A Process-Control Case Study
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Model Based Testing in Evolutionary Software Development
RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
A formal approach for designing CORBA-based applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Model-Driven Integration Using Existing Models
IEEE Software
Automated Software Engineering
Conceptual modeling with the object-process methodology in software architecture
Journal of Computing Sciences in Colleges
Building large-scale Bayesian networks
The Knowledge Engineering Review
A Methodological Framework for Viewpoint-Oriented Conceptual Modeling
IEEE Transactions on Software Engineering
Controlling the Complexity of Software Designs
Proceedings of the 26th International Conference on Software Engineering
1st International Workshop on Advances and Applications of Problem Frames
Proceedings of the 26th International Conference on Software Engineering
Model based testing in incremental system development
Journal of Systems and Software - Special issue: Rapid system prototyping
1st international workshop on advances and applications of problem frames - summary
ACM SIGSOFT Software Engineering Notes
The obstacles and myths of usability and software engineering
Communications of the ACM - The Blogosphere
Monitoring and control in scenario-based requirements analysis
Proceedings of the 27th international conference on Software engineering
Strategic alignment in requirements analysis for organizational IT: an integrated approach
Proceedings of the 2005 ACM symposium on Applied computing
On the Systematic Analysis of Natural Language Requirements with CIRCE
Automated Software Engineering
From Live Sequence Charts to State Machines and Back: A Guided Tour
IEEE Transactions on Software Engineering
A framework for modelling and analysis of software systems scalability
Proceedings of the 28th international conference on Software engineering
Analysis of transaction problems using the problem frames approach
Proceedings of the 2006 international workshop on Advances and applications of problem frames
Problem-based analysis of organisational change: a real-world example
Proceedings of the 2006 international workshop on Advances and applications of problem frames
Towards automatic problem decomposition: an ontology-based approach
Proceedings of the 2006 international workshop on Advances and applications of problem frames
Addressing problem frame concerns via coloured petri nets and graphical animation
Proceedings of the 2006 international workshop on Advances and applications of problem frames
Problem frame transformations: deriving specifications from requirements
Proceedings of the 2006 international workshop on Advances and applications of problem frames
A foundation for behavioural conformance in software product line architectures
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
A DSS Design Model for complex problems: Lessons from mission critical infrastructure
Decision Support Systems
A requirements analysis framework for open systems requirements engineering
ACM SIGSOFT Software Engineering Notes
IEEE Software
Automated Software Engineering
Domains of concern in software architectures and architecture description languages
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Role-based Architectural Modelling of Socio-Technical Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Model or Mould? A Challenge for Better Traceability
MISE '07 Proceedings of the International Workshop on Modeling in Software Engineering
Modeling the Environment in Software-Intensive Systems
MISE '07 Proceedings of the International Workshop on Modeling in Software Engineering
ACM SIGSOFT Software Engineering Notes
Process-oriented abstraction of the complex evolvable systems: problem model construction
ACM SIGSOFT Software Engineering Notes
Can Proofs be Animated by Games?
Fundamenta Informaticae - Typed Lambda Calculi and Applications 2005, Selected Papers
3rd international workshop on advances and applications of problem frames
Companion of the 30th international conference on Software engineering
Progressing problems from requirements to specifications in problem frames
Proceedings of the 3rd international workshop on Applications and advances of problem frames
Ontological semantics for the use of UML in conceptual modeling
ER '07 Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling - Volume 83
Quantifying requirements volatility effects
Science of Computer Programming
A Formal Metamodel for Problem Frames
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
An Empirical Investigation on Dynamic Modeling in Requirements Engineering
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
On the relationship between workflow models and document types
Information Systems
The untrained eye: how languages for software specification support understanding in untrained users
Human-Computer Interaction
Interactive situation modelling in knowledge-intensive domains
International Journal of Business Information Systems
The intentional relationship of representation between the constructs of a language and reality
Data & Knowledge Engineering
On the Challenge of Engineering Socio-technical Systems
Software-Intensive Systems and New Computing Paradigms
Intelligent products: Agere versus Essere
Computers in Industry
Management of requirements in ERP development: a comparison between proprietary and open source ERP
Proceedings of the 2009 ACM symposium on Applied Computing
Inspired software design early jackson methods to thread architectures
ACM SIGSOFT Software Engineering Notes
Modelling Multi-Facetted Purposes of Artefacts
Proceedings of the 2005 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fourth SoMeT_W05
Some Notes on Models and Modelling
Conceptual Modeling: Foundations and Applications
Reasoning About Alternative Requirements Options
Conceptual Modeling: Foundations and Applications
A Sound Observational Semantics for Modal Transition Systems
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Exploring traceability-based requirements inspection
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
ITGIM: An Intention-Driven Approach for Analyzing the IT Governance Requirements
ER '09 Proceedings of the ER 2009 Workshops (CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS) on Advances in Conceptual Modeling - Challenging Perspectives
Breaking the Model: Finalisation and a Taxonomy of Security Attacks
Electronic Notes in Theoretical Computer Science (ENTCS)
Deriving requirements from process models via the problem frames approach
Information and Software Technology
A comparative study of architecture knowledge management tools
Journal of Systems and Software
Pseudo software: A mediating instrument for modeling software requirements
Journal of Systems and Software
Experiences on developing and using a tool support for formal specification
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
Fitting business models to system functionality exploring the fitness relationship
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
A comparison of the business object notation and the unified modeling language
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
On ISOA: intentional services oriented architecture
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Handshaking between software projects and stakeholders using implementation proposals
REFSQ'07 Proceedings of the 13th international working conference on Requirements engineering: foundation for software quality
Hierarchical visualization for chance discovery
IEA/AIE'07 Proceedings of the 20th international conference on Industrial, engineering, and other applications of applied intelligent systems
A rule-based system for assessing consistency between UML models
MICAI'07 Proceedings of the artificial intelligence 6th Mexican international conference on Advances in artificial intelligence
Introducing global supply chains into software engineering education
SEAFOOD'07 Proceedings of the 1st international conference on Software engineering approaches for offshore and outsourced development
Managing socio-technical interactions in healthcare systems
BPM'07 Proceedings of the 2007 international conference on Business process management
Proceedings of the 2010 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement
Comparing two communication media in use case modeling: results from a controlled experiment
Proceedings of the 2010 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement
Fitting System Functionality to Business Needs: Alignment issues and challenges
Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
Generating natural language descriptions of Z test cases
INLG '10 Proceedings of the 6th International Natural Language Generation Conference
Decisions not requirements: decision-centered engineering of computer-based systems
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Synthesis of live behaviour models
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
The miracle of reactive programming
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
Information and Software Technology
The brave new world of design requirements
Information Systems
Discovering Multidimensional Correlations among Regulatory Requirements to Understand Risk
ACM Transactions on Software Engineering and Methodology (TOSEM)
System verification through program verification
FM'11 Proceedings of the 17th international conference on Formal methods
ICSR'11 Proceedings of the 12th international conference on Top productivity through software reuse
Rigorous model-based design & verification flow for in-vehicle software
Proceedings of the 48th Design Automation Conference
Towards semantic modeling of intentional pervasive information systems
Proceedings of the 6th International Workshop on Enhanced Web Service Technologies
Deriving implementation-level policies for usage control enforcement
Proceedings of the second ACM conference on Data and Application Security and Privacy
Discovering remote software services that satisfy requirements: patterns for query reformulation
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Assessing project effort in requirements engineering: a report on design research in progress
DESRIST'10 Proceedings of the 5th international conference on Global Perspectives on Design Science Research
Fundamental insights into holonic systems design
HoloMAS'05 Proceedings of the Second international conference on Holonic and Multi-Agent Systems for Manufacturing
Proof-based system engineering using a virtual system model
ISAS'05 Proceedings of the Second international conference on Service Availability
Compositionality: ontology and mereology of domains
Concurrency, Compositionality, and Correctness
A pedagogical view on software modeling and graph-structured diagrams
ICSE'05 Proceedings of the 2005 international conference on Software Engineering Education in the Modern Age
Dependable and Historic Computing
Methods integration: time for reflection (and reorientation?)
Methods'96 Proceedings of the 1996 international conference on Methods Integration
Can Proofs be Animated by Games?
Fundamenta Informaticae - Typed Lambda Calculi and Applications 2005, Selected Papers
Synthesizing nonanomalous event-based controllers for liveness goals
ACM Transactions on Software Engineering and Methodology (TOSEM)
Separation of concerns in feature diagram languages: A systematic survey
ACM Computing Surveys (CSUR)
Mockup-based navigational diagram for the development of interactive web applications
Proceedings of the 2013 International Conference on Information Systems and Design of Communication
Specifying software features for composition: A tool-supported approach
Computer Networks: The International Journal of Computer and Telecommunications Networking
What's wrong with git?: a conceptual design analysis
Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
Guiding requirements engineering for software-intensive embedded systems in the automotive industry
Computer Science - Research and Development
Hi-index | 0.00 |