Trusted computing systems: the ProCoS experience
ICSE '92 Proceedings of the 14th international conference on Software engineering
Understanding the differences between VDM and Z
ACM SIGSOFT Software Engineering Notes
Specifying a Safety-Critical Control System in Z
IEEE Transactions on Software Engineering
Formal refinement patterns for goal-driven requirements elaboration
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Applying formal methods to semantic-based decomposition of transactions
ACM Transactions on Database Systems (TODS)
Lightweight formal methods for computer algebra systems
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
Integrating obstacles in goal-driven requirements engineering
Proceedings of the 20th international conference on Software engineering
Modelling distributed systems using Z
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
An Application of Formal Analysis to Software in a Fault-Tolerant Environment
IEEE Transactions on Computers
Formal specification: a roadmap
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
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
A Formal Framework for Viewpoint Consistency
Formal Methods in System Design
Recovering Traceability Links between Code and Documentation
IEEE Transactions on Software Engineering
A Language for Specifying Complete Timetabling Problems
PATAT '00 Selected papers from the Third International Conference on Practice and Theory of Automated Timetabling III
Abstract State Machines for the Composition of Architectural Styles
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
The Genric Network Model-An ITU Approach for Interoperabilty
INTERWORKING '00 Proceedings of the 5th IFIP TC6 International Symposium on Next Generation Networks, Networks and Services for the Information Society
Faithful Translations among Models and Specifications
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Formal Methods for Extensions to CAS
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Exploring Fair Exchange Protocols Using Specification Animation
ISW '00 Proceedings of the Third International Workshop on Information Security
Using OCL and UML to Specify System Behavior
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
A Framework for Translating Models and Specifications
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
A language for multiple models of computation
Proceedings of the tenth international symposium on Hardware/software codesign
Software reuse using formal specification of requirements
CASCON '96 Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative research
Formalising key distribution in the presence of trust using object-Z
ACSW Frontiers '03 Proceedings of the Australasian information security workshop conference on ACSW frontiers 2003 - Volume 21
Towards a rigorous object-oriented analysis and design method
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Genetic algorithms and timetabling
Advances in evolutionary computing
Illuminating software specifications
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Real-time update of access control policies
Data & Knowledge Engineering
Applying Semantic Knowledge to Real-Time Update of Access Control Policies
IEEE Transactions on Knowledge and Data Engineering
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Model-based development of dynamically adaptive software
Proceedings of the 28th international conference on Software engineering
A security specification verification technique based on the international standard ISO/IEC 15408
Proceedings of the 2006 ACM symposium on Applied computing
IEICE - Transactions on Information and Systems
Specification and validation of the SACI-1 on-board computer using timed-CSP-Z and Petri nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Integrating formal methods with system management
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Minds and Machines
KES-AMSTA'11 Proceedings of the 5th KES international conference on Agent and multi-agent systems: technologies and applications
Component contract-based formal specification technique
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part III
LRBAC: a location-aware role-based access control model
ICISS'06 Proceedings of the Second international conference on Information Systems Security
MSC scenarios analysis via simulation and formal verification techniques
GCMS '09 Proceedings of the 2009 Grand Challenges in Modeling & Simulation Conference
| Hi-index | 0.01 |