Goal models as architectural knowledge
Proceedings of the 3rd international workshop on Sharing and reusing architectural knowledge
Reasoning About Alternative Requirements Options
Conceptual Modeling: Foundations and Applications
Software development risk management model: a goal driven approach
Proceedings of the doctoral symposium for ESEC/FSE on Doctoral symposium
Synthesizing and utilizing partial behavior models during requirements elicitation
Proceedings of the doctoral symposium for ESEC/FSE on Doctoral symposium
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
A deidealisation semantics for KAOS
Proceedings of the 2010 ACM Symposium on Applied Computing
An approach to testing conceptual schemas
Data & Knowledge Engineering
Live goals for adaptive service compositions
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
Formalization and validation of a subset of the European Train Control System
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Requirements reflection: requirements as runtime entities
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
A UML profile for goal-oriented modeling
SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Derivational software engineering
Proceedings of the FSE/SDP workshop on Future of software engineering research
Conditional dependence networks in requirements engineering
COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
A framework for rule-based dynamic adaptation
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
Dynamically adaptive systems through automated model evolution using service compositions
SC'10 Proceedings of the 9th international conference on Software composition
A three-dimensional abstraction framework to compare multi-agent system models
ICCCI'10 Proceedings of the Second international conference on Computational collective intelligence: technologies and applications - Volume PartI
Hazard-based selection of test cases
Proceedings of the 6th International Workshop on Automation of Software Test
Requirements engineering in complex domains
Graph transformations and model-driven engineering
Specification of a localization component driven by a goal-based approach: some lessons we learned
SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications
Delivering requirements research into practice: a keynote to the REFSQ'2011 conference
REFSQ'11 Proceedings of the 17th international working conference on Requirements engineering: foundation for software quality
Requirements engineering for embedded systems: an investigation of industry needs
REFSQ'11 Proceedings of the 17th international working conference on Requirements engineering: foundation for software quality
CSSL: a logic for specifying conditional scenarios
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Automatic derivation of utility functions for monitoring software requirements
Proceedings of the 14th international conference on Model driven engineering languages and systems
Strategic models for business intelligence
ER'11 Proceedings of the 30th international conference on Conceptual modeling
Partial models: a position paper
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
Improving traceability between KAOS requirements models and b specifications
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Towards validation of requirements models
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Barry is not the weakest link: eliciting secure system requirements with personas
BCS '10 Proceedings of the 24th BCS Interaction Specialist Group Conference
Discovery and diagnosis of behavioral transitions in patient event streams
ACM Transactions on Management Information Systems (TMIS)
A formal treatment of agents, goals and operations using alternating-time temporal logic
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
Engineering coordination: selection of coordination mechanisms
AAMAS'11 Proceedings of the 10th international conference on Advanced Agent Technology
Towards requirements aware systems: Run-time resolution of design-time assumptions
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Goal-oriented approach to creating class diagrams with OCL constraints
Proceedings of the 27th Annual ACM Symposium on Applied Computing
An approach to test-driven development of conceptual schemas
Data & Knowledge Engineering
Partial models: towards modeling and reasoning with uncertainty
Proceedings of the 34th International Conference on Software Engineering
Generating obstacle conditions for requirements completeness
Proceedings of the 34th International Conference on Software Engineering
Engineering and verifying requirements for programmable self-assembling nanomachines
Proceedings of the 34th International Conference on Software Engineering
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Validation of user intentions in process models
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Canadian AI'12 Proceedings of the 25th Canadian conference on Advances in Artificial Intelligence
Validation of requirements for hybrid systems: A formal approach
ACM Transactions on Software Engineering and Methodology (TOSEM)
A graph based requirements clustering approach for component selection
Advances in Engineering Software
Towards a competency model for requirements analysts
Information Systems Journal
SecuriTAS: a tool for engineering adaptive security
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
Formal verification of a safety argumentation and application to a complex UAV system
SAFECOMP'12 Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security
Research-based innovation: a tale of three projects in model-driven engineering
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Model-driven architectural risk analysis using architectural and contextualised attack patterns
Proceedings of the Workshop on Model-Driven Security
Satisfying requirements for pervasive service compositions
Proceedings of the 7th Workshop on Models@run.time
Capturing variability of law with nómos 2
ER'12 Proceedings of the 31st international conference on Conceptual Modeling
Addressing OWL ontology for goal consistency checking
Proceedings of the 14th International Conference on Information Integration and Web-based Applications & Services
Synthesizing nonanomalous event-based controllers for liveness goals
ACM Transactions on Software Engineering and Methodology (TOSEM)
Taxonomy of quality metrics for assessing assurance of security correctness
Software Quality Control
Eliciting Policy Requirements for Critical National Infrastructure Using the IRIS Framework
International Journal of Secure Software Engineering
Change propagation due to uncertainty change
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Obsolete software requirements
Information and Software Technology
A communication process for global requirements engineering
Proceedings of the 2013 International Conference on Software and System Process
Requirements modelling by synthesis of deontic input-output automata
Proceedings of the 2013 International Conference on Software Engineering
Reasoning with qualitative preferences to develop optimal component-based systems
Proceedings of the 2013 International Conference on Software Engineering
Producing software by integration: challenges and research directions (keynote)
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Empirical Software Engineering
Engineering model transformations with transML
Software and Systems Modeling (SoSyM)
Modeling personalized adaptive systems
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
A framework to evaluate complexity and completeness of KAOS goal models
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
Traceability and SysML design slices to support safety inspections: A controlled experiment
ACM Transactions on Software Engineering and Methodology (TOSEM)
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
Requirements-driven software evolution
Computer Science - Research and Development
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
Information and Software Technology
Evaluation of web-specific goal oriented requirements language models with quantitative reasoning
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |