The synthesizer generator reference manual (3rd ed.)
The synthesizer generator reference manual (3rd ed.)
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
A framework for event-based software integration
ACM Transactions on Software Engineering and Methodology (TOSEM)
Generic Lifecycle Support in the ALMA Environment
IEEE Transactions on Software Engineering
Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Eliciting software process models with the E3 language
ACM Transactions on Software Engineering and Methodology (TOSEM)
Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on Software Engineering
Integrating obstacles in goal-driven requirements engineering
Proceedings of the 20th international conference on Software engineering
Reusing single system requirements from application family requirements
Proceedings of the 21st 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
Designing data marts for data warehouses
ACM Transactions on Software Engineering and Methodology (TOSEM)
Requirements interaction management
ACM Computing Surveys (CSUR)
Reconciling System Requirements and Runtime Behavior
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
A Framework for Design Tradeoffs
Software Quality Control
Towards Goal-Oriented Design of Agent Systems
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Abstraction-based requirements management
Proceedings of the 2006 international workshop on Role of abstraction in software engineering
Integrating visual goal models into the Rational Unified Process
Journal of Visual Languages and Computing
Using FDAF to bridge the gap between enterprise and software architectures for security
Science of Computer Programming
Towards Re-engineering Legacy Systems for Assured Dynamic Adaptation
MISE '07 Proceedings of the International Workshop on Modeling in Software Engineering
Computer-aided Support for Secure Tropos
Automated Software Engineering
ACM SIGSOFT Software Engineering Notes
A conceptual model for business-oriented management of web services
SEPADS'07 Proceedings of the 6th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
A method for modeling service management of e-Learning
WSEAS Transactions on Information Science and Applications
A modeling method for service management of e-Learning
AIC'08 Proceedings of the 8th conference on Applied informatics and communications
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
Security requirements for civil aviation with UML and goal orientation
REFSQ'07 Proceedings of the 13th international working conference on Requirements engineering: foundation for software quality
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
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
An approach of requirements tracing in formal refinement
VSTTE'10 Proceedings of the Third international conference on Verified software: theories, tools, experiments
Designing a usable ambient intelligence system
International Journal of Web Engineering and Technology
Pattern-Based context establishment for service-oriented architectures
Software Service and Application Engineering
Declarative description of business process patterns
Proceedings of the 1st Asian Conference on Pattern Languages of Programs
Validation of requirements for hybrid systems: A formal approach
ACM Transactions on Software Engineering and Methodology (TOSEM)
REUBI: A Requirements Engineering method for ubiquitous systems
Science of Computer Programming
Intention-oriented programming support for runtime adaptive autonomic cloud-based applications
Computers and Electrical Engineering
Comparing attack trees and misuse cases in an industrial setting
Information and Software Technology
A method and tool for tracing requirements into specifications
Science of Computer Programming
Applying model-driven engineering to a method for systematic treatment of NFRs in AmI systems
Journal of Ambient Intelligence and Smart Environments - Intelligent agents in Ambient Intelligence and smart environments
| Hi-index | 0.00 |