The coming-of-age of software architecture research
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Metaphor and metonymy in object-oriented design patterns
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
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
Deriving operational software specifications from system goals
ACM SIGSOFT Software Engineering Notes
Functional Paleontology: The Evolution of User-Visible System Services
IEEE Transactions on Software Engineering
Modularisation and composition of aspectual requirements
Proceedings of the 2nd international conference on Aspect-oriented software development
Techniques for Reactive System Design: The Tools in TRADE
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Thinking Tools for the Future of Computing Science
Informatics - 10 Years Back. 10 Years Ahead.
A Problem-Oriented Approach to Common Criteria Certification
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
Programming methodology
Conceptual modeling with the object-process methodology in software architecture
Journal of Computing Sciences in Colleges
Software factories: assembling applications with patterns, models, frameworks and tools
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Why software writing is difficult and will remain so
Information Processing Letters - Special issue: Contribution to computing science
A Methodological Framework for Viewpoint-Oriented Conceptual Modeling
IEEE Transactions on Software Engineering
Applying the Domain Theory to Design for Reuse
BT Technology Journal
Strategic alignment in requirements analysis for organizational IT: an integrated approach
Proceedings of the 2005 ACM symposium on Applied computing
A design for evidence - based soft research
REBSE '05 Proceedings of the 2005 workshop on Realising evidence-based software engineering
On the Systematic Analysis of Natural Language Requirements with CIRCE
Automated Software Engineering
Problem-based analysis of organisational change: a real-world example
Proceedings of the 2006 international workshop on Advances and applications of problem frames
Enhancing problem frames with scenarios and histories: a preliminary study
Proceedings of the 2006 international workshop on Advances and applications of problem frames
Problem frames approach to web services requirements
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
Analyzing crosscutting in the problem frames approach
Proceedings of the 2006 international workshop on Advances and applications of problem frames
From requirements to specifications: a formal approach
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
Developer requirements in the PF approach
Proceedings of the 2006 international workshop on Advances and applications of problem frames
Journal of Systems and Software
A contingency view of organizational infrastructure requirements engineering
Proceedings of the 2006 ACM symposium on Applied computing
A case study of coloured Petri nets in object-oriented analysis and design
Nordic Journal of Computing
Pattern-based development of user-friendly web applications
ICWE '06 Workshop proceedings of the sixth international conference on Web engineering
Postmodern prospects for conceptual modelling
APCCM '06 Proceedings of the 3rd Asia-Pacific conference on Conceptual modelling - Volume 53
Software architecture at a large financial firm
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
A requirements analysis framework for open systems requirements engineering
ACM SIGSOFT Software Engineering Notes
Towards evolution of strategic IT requirements
Proceedings of the 2007 ACM symposium on Applied computing
Role-based Architectural Modelling of Socio-Technical Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Frameworks Based on Templates for Rigorous Model-driven Development
Electronic Notes in Theoretical Computer Science (ENTCS)
An approach to precisely specifying the problem domain of design patterns
Journal of Visual Languages and Computing
The role of domain knowledge representation in requirements elicitation
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
Configuring features with stakeholder goals
Proceedings of the 2008 ACM symposium on Applied computing
Three integration approaches for map and B-SCP requirements engineering techniques
Proceedings of the 2008 ACM symposium on Applied computing
Integrating B-SCP and MAP to manage the evolution of strategic IT requirements
Information and Software Technology
3rd international workshop on advances and applications of problem frames
Companion of the 30th international conference on Software engineering
Visibility of control in adaptive systems
Proceedings of the 2nd international workshop on Ultra-large-scale software-intensive systems
A context analysis method for constructing reliable embedded systems
Proceedings of the 2008 international workshop on Models in software engineering
Towards the integration of sysml and problem frames
Proceedings of the 3rd international workshop on Applications and advances of problem frames
Implementable requirements in problem orientation
Proceedings of the 3rd international workshop on Applications and advances of problem frames
Communicating requirements for business: UML or problem frames?
Proceedings of the 3rd international workshop on Applications and advances of problem frames
A method for web service description by using problem frames approach
Proceedings of the 3rd international workshop on Applications and advances of problem frames
RGPS: a unified requirements meta-modeling frame for networked software
Proceedings of the 3rd international workshop on Applications and advances of problem frames
An ontology-guided process for developing problem frame specification: an example
Proceedings of the 3rd international workshop on Applications and advances of problem frames
Functional size measurement based on problem frames: a case study
Proceedings of the 3rd international workshop on Applications and advances of problem frames
Problem frames and business strategy modelling
Proceedings of the 3rd international workshop on Applications and advances of problem frames
Progressing problems from requirements to specifications in problem frames
Proceedings of the 3rd international workshop on Applications and advances of problem frames
Proceedings of the 3rd international workshop on Applications and advances of problem frames
Proceedings of the 3rd international workshop on Applications and advances of problem frames
Using the event calculus to reason about problem diagrams
Proceedings of the 3rd international workshop on Applications and advances of problem frames
Relating problem oriented engineering to current development processes: a research agenda
Proceedings of the 3rd international workshop on Applications and advances of problem frames
Clarifying the semantics of value in use cases through Jackson's Problem Frames
Information Processing Letters
Problem frame patterns: an exploration of patterns in the problem space
Proceedings of the 2006 conference on Pattern languages of programs
Patterns for service-oriented information exchange requirements
Proceedings of the 2006 conference on Pattern languages of programs
Classifying Assumptions Made during Requirements Verification of Embedded Systems
REFSQ '08 Proceedings of the 14th international conference on Requirements Engineering: Foundation for Software Quality
Concurrency, Graphs and Models
A Formal Metamodel for Problem Frames
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
The socio-economics of software architecture
Automated Software Engineering
A journey to highly dynamic, self-adaptive service-based applications
Automated Software Engineering
A taxonomy of software types to facilitate search and evidence-based software engineering
CASCON '08 Proceedings of the 2008 conference of the center for advanced studies on collaborative research: meeting of minds
Value-Driven Coordination Process Design Using Physical Delivery Models
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
The intentional relationship of representation between the constructs of a language and reality
Data & Knowledge Engineering
Software Engineering for Ensembles
Software-Intensive Systems and New Computing Paradigms
On the Challenge of Engineering Socio-technical Systems
Software-Intensive Systems and New Computing Paradigms
The Name and Nature of Software Engineering
Advances in Software Engineering
Strategies for research about design: a multidisciplinary graduate workshop
SoD '07 Proceedings of the 2007 Symposium on Science of Design
A direct path to dependable software
Communications of the ACM - A Direct Path to Dependable Software
Towards using architectural knowledge
ACM SIGSOFT Software Engineering Notes
Controversy Corner: On the similarity between requirements and architecture
Journal of Systems and Software
Mathematical Structures in Computer Science
Eliciting required characteristics for usable requirements engineering approaches
Proceedings of the 2009 ACM symposium on Applied Computing
Extending Problem Frames to deal with stakeholder problems: An Agent- and Goal-Oriented Approach
Proceedings of the 2009 ACM symposium on Applied Computing
Dynamically Detecting Faults via Integrity Constraints
Methods, Models and Tools for Fault Tolerance
Pattern-Based Confidentiality-Preserving Refinement
ESSoS '09 Proceedings of the 1st International Symposium on Engineering Secure Software and Systems
On specifying systems that connect to the physical world
Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06
Early Identification of Problem Interactions: A Tool-Supported Approach
REFSQ '09 Proceedings of the 15th International Working Conference on Requirements Engineering: Foundation for Software Quality
A Foundation for Requirements Analysis of Dependable Software
SAFECOMP '09 Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security
Relating requirements and feature configurations: a systematic approach
Proceedings of the 13th International Software Product Line Conference
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
Towards normal design for safety-critical systems
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Agile teaching of an agile software process
XP'03 Proceedings of the 4th international conference on Extreme programming and agile processes in software engineering
Context-oriented domain analysis
CONTEXT'07 Proceedings of the 6th international and interdisciplinary conference on Modeling and using context
An ontology of problem frames for guiding problem frame specification
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Testable requirements and specifications
TAP'07 Proceedings of the 1st international conference on Tests and proofs
Exploring usability needs by human-computer interaction patterns
TAMODIA'07 Proceedings of the 6th international conference on Task models and diagrams for user interface design
Extending argumentation to goal-oriented requirements engineering
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
What's in a feature: a requirements engineering perspective
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Deriving specifications for systems that are connected to the physical world
Formal methods and hybrid real-time systems
Formal Visual Modelling of Human Agents in Service Oriented Systems
SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
A meta-model for usable secure requirements engineering
Proceedings of the 2010 ICSE Workshop on Software Engineering for Secure Systems
Research toward an engineering discipline for software
Proceedings of the FSE/SDP workshop on Future of software engineering research
An approach of requirements tracing in formal refinement
VSTTE'10 Proceedings of the Third international conference on Verified software: theories, tools, experiments
Context-dependent product line practice for constructing reliable embedded systems
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Mapping features to reusable components: a problem frames-based approach
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
A UML profile for requirements analysis of dependable software
SAFECOMP'10 Proceedings of the 29th international conference on Computer safety, reliability, and security
The miracle of reactive programming
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
Making pattern- and model-based software development more rigorous
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Goal-oriented security threat mitigation patterns: a case of credit card theft mitigation
Proceedings of the 16th Conference on Pattern Languages of Programs
ESSoS'11 Proceedings of the Third international conference on Engineering secure software and systems
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services
Information and Software Technology
Aspect-oriented development using protocol modeling
Transactions on aspect-oriented software development VII
IMPULSE: a design framework for multi-agent systems based on model transformation
Proceedings of the 2011 ACM Symposium on Applied Computing
Hazard-based selection of test cases
Proceedings of the 6th International Workshop on Automation of Software Test
Real-world semantics of conceptual models
The evolution of conceptual modeling
A lightweight code analysis and its role in evaluation of a dependability case
Proceedings of the 33rd International Conference on Software Engineering
Aspect-oriented development using protocol modeling
Transactions on aspect-oriented software development VII
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
Systematic development of UMLsec design models based on security requirements
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Proceedings of the Third Workshop on Behavioural Modelling
Autonomous Agents and Multi-Agent Systems
Towards a process for architectural modelling in agile software development
Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS
A problem-driven collaborative approach to eliciting requirements of internetwares
Proceedings of the Second Asia-Pacific Symposium on Internetware
ICSR'11 Proceedings of the 12th international conference on Top productivity through software reuse
A problem frame-based approach to evolvability: the case of the multi-translation
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
Generating early design models from requirements analysis artifacts using problem frames and SysML
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
A software lifecycle process for context-aware adaptive systems
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Dealing with known unknowns: towards a game-theoretic foundation for software requirement evolution
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Connecting security requirements analysis and secure design using patterns and UMLsec
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Towards systematic integration of quality requirements into software architecture
ECSA'11 Proceedings of the 5th European conference on Software architecture
About theory in software development
GAVTASC'11 Proceedings of the 11th WSEAS international conference on Signal processing, computational geometry and artificial vision, and Proceedings of the 11th WSEAS international conference on Systems theory and scientific computation
Modelling with problem frames: explanations and context in ambient intelligent systems
CONTEXT'11 Proceedings of the 7th international and interdisciplinary conference on Modeling and using context
Modeling approach using goal modeling and enterprise architecture for business IT alignment
MEDI'11 Proceedings of the First international conference on Model and data engineering
A proposal for extending UML-B to support a conceptual model
Innovations in Systems and Software Engineering
On fitting a formal method into practice
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Preserving software quality characteristics from requirements analysis to architectural design
EWSA'06 Proceedings of the Third European conference on Software Architecture
Stepwise development of secure systems
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
Security engineering using problem frames
ETRICS'06 Proceedings of the 2006 international conference on Emerging Trends in Information and Communication Security
FECT: a modelling framework for automatically composing web services
WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
Domain requirements elicitation and analysis - an ontology-based approach
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part IV
Towards a theory on the role of ontologies in software engineering problem solving
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Bridging the gap between requirements and design: An approach based on Problem Frames and SysML
Journal of Systems and Software
Problem frames and architectures for security problems
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
Requirements analysis and modeling with problem frames and SysML: a case study
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Dependable Systems
Determining the specification of a control system: an illustrative example
Rigorous Development of Complex Fault-Tolerant Systems
Separating concerns in requirements analysis: an example
Rigorous Development of Complex Fault-Tolerant Systems
On horizontal specification architectures and their aspect-oriented implementations
Transactions on Aspect-Oriented Software Development II
Combining problem frames and UML in the description of software requirements
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
Identifying problem frames for location-based services
Proceedings of the 6th International Conference on Ubiquitous Information Management and Communication
On constructing software environment ontology for time-continuous environment
KSEM'11 Proceedings of the 5th international conference on Knowledge Science, Engineering and Management
ESSoS'12 Proceedings of the 4th international conference on Engineering Secure Software and Systems
Specifying and detecting meaningful changes in programs
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Designing architectures from problem descriptions by interactive model transformation
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Supporting quality-driven design decisions by modeling variability
Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures
Annotating problem diagrams with architectural tactics for reasoning on quality requirements
Information Processing Letters
Integrating organisational design with IT design
DESRIST'12 Proceedings of the 7th international conference on Design Science Research in Information Systems: advances in theory and practice
Refinement by interface instantiation
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Pattern-Based context establishment for service-oriented architectures
Software Service and Application Engineering
Analysing monitoring and switching problems for adaptive systems
Journal of Systems and Software
Software engineering as the design theoretic transformation of software problems
Innovations in Systems and Software Engineering
Safety process improvement with POSE and alloy
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
Pattern-based evolution of software architectures
ECSA'07 Proceedings of the First European conference on Software Architecture
A pattern-based method for safe control systems exemplified within nuclear power production
SAFECOMP'12 Proceedings of the 31st international conference on Computer Safety, Reliability, and Security
An approach for selecting implementation strategies of non-functional requirements
Proceedings of the Fourth Asia-Pacific Symposium on Internetware
Threat and Risk-Driven Security Requirements Engineering
International Journal of Mobile Computing and Multimedia Communications
Towards architecture-centric evolution of long-living systems (the ADVERT approach)
Proceedings of the 9th international ACM Sigsoft conference on Quality of software architectures
Common criteria compliant software development (CC-CASD)
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Requirements modelling by synthesis of deontic input-output automata
Proceedings of the 2013 International Conference on Software Engineering
Specifying software features for composition: A tool-supported approach
Computer Networks: The International Journal of Computer and Telecommunications Networking
Investigating Goal-Oriented Requirements Engineering for Business Processes
Journal of Database Management
Context-dependent product line engineering with lightweight formal approaches
Science of Computer Programming
Theories of Programming and Formal Methods
A method and tool for tracing requirements into specifications
Science of Computer Programming
Design rationale capture for process improvement in the globalised enterprise: an industrial study
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
This book is a must-have for all IT professionals facing software development problems on a daily basis. If you are a systems analyst or requirements engineer it will provide an essential, practical guide from the task of identifying the problem to making the descriptions needed to resolve it.