Communicating sequential processes
Communicating sequential processes
Specifying dynamic and deonitc integrity constraints
Data & Knowledge Engineering
Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
Software requirements & specifications: a lexicon of practice, principles and prejudices
Software requirements & specifications: a lexicon of practice, principles and prejudices
Deontic logic in computer science: normative system specification
Deontic logic in computer science: normative system specification
On the characterization of law and computer systems: the normative systems perspective
Deontic logic in computer science
Semiring-based constraint satisfaction and optimization
Journal of the ACM (JACM)
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
AGENTS '98 Proceedings of the second international conference on Autonomous agents
Ensuring integrity by adding obligations to privileges
ICSE '85 Proceedings of the 8th international conference on Software engineering
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
Problem frames: analyzing and structuring software development problems
Problem frames: analyzing and structuring software development problems
An asynchronous rule-based approach for business process automation using obligations
Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming
Formalizing a Language for Institutions and Norms
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Distributed and Parallel Databases
Architectural concerns in distributed and mobile collaborative systems
Journal of Systems Architecture: the EUROMICRO Journal - Special issue: Evolutions in parallel distributed and network-based processing
Improving the quality of business object models using collaboration patterns
Communications of the ACM - Has the Internet become indispensable?
Architecture-driven Problem Decomposition
RE '04 Proceedings of the Requirements Engineering Conference, 12th IEEE International
Process modelling: the deontic way
APCCM '06 Proceedings of the 3rd Asia-Pacific conference on Conceptual modelling - Volume 53
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Semantic-Based development of service-oriented systems
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
A process calculus for qos-aware applications
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Infringo ergo sum: when will software engineering support infringements?
Proceedings of the FSE/SDP workshop on Future of software engineering research
Identifying problem frames for location-based services
Proceedings of the 6th International Conference on Ubiquitous Information Management and Communication
Hi-index | 0.00 |
One of the main challenges raised by software-intensive systems resides in the fact that their complexity derives not so much from their size but the number and nature of the interactions that characterise their behaviour. In this paper, we discuss one of the aspects that contribute to this kind of complexity - that, more and more, people are involved, not as users, but as integral players of such systems - which requires research that can lead to new methods and techniques for engineering what are called `socio-technical systems'.