ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Subtypes for Specifications: Predicate Subtyping in PVS
IEEE Transactions on Software Engineering
Using formal methods for teaching software engineering: a tool-based approach
Annals of Software Engineering - Special issue on software engineering education
Requirements engineering: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Formal Methods Adoption: What's Working, What's Not!
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
The use of industrial-strength formal methods
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
An Overview of RoZ: A Tool for Integrating UML and Z Specifications
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
µ-Chart-Based Specification and Refinement
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Characters + Mark-up = Z Lexis
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Modeling Safety-Critical Systems with Z and Petri Nets
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Validation of UML Models Thanks to Z and Lustre
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Mechanical Abstraction of CSPZ Processes
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Relating Z and First-Order Logic
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
mu-Charts and Z: Hows, Whys, and Wherefores
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Combining Specification Techniques for Processes, Data and Time
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Sound methods and effective tools for engineering modeling and analysis
Proceedings of the 25th International Conference on Software Engineering
CSP-OZ-DC: a combination of specification techniques for processes, data and time
Nordic Journal of Computing
The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System
Autonomous Agents and Multi-Agent Systems
A combined approach to checking web ontologies
Proceedings of the 13th international conference on World Wide Web
Verifying DAML+OIL and Beyond in Z/EVES
Proceedings of the 26th International Conference on Software Engineering
Software Modeling Techniques and the Semantic Web
Proceedings of the 26th International Conference on Software Engineering
Software assurance by bounded exhaustive testing
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Stream Composition for Highly Adaptive and Reconfigurable Mobile Middleware
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Specification and (property) inheritance in CSP-OZ
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Software Assurance by Bounded Exhaustive Testing
IEEE Transactions on Software Engineering
Decidability results for sets with atoms
ACM Transactions on Computational Logic (TOCL)
From semantic web to expressive software specifications: a modeling languages spectrum
Proceedings of the 28th international conference on Software engineering
Analyzing static and temporal properties of simulation models
Proceedings of the 38th conference on Winter simulation
Frameworks Based on Templates for Rigorous Model-driven Development
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal driven prototyping approach for multiagent systems
International Journal of Agent-Oriented Software Engineering
Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Multi-constraint Security Policies for Delegated Firewall Administration
DSOM '08 Proceedings of the 19th IFIP/IEEE international workshop on Distributed Systems: Operations and Management: Managing Large-Scale Service Deployment
Verifying the CICS File Control API with Z/Eves: An experiment in the verified software repository
Science of Computer Programming
Extending SOA with Semantic Mediators
Advanced Internet Based Systems and Applications
Automated deduction for verification
ACM Computing Surveys (CSUR)
TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Development of Security Software: A High Assurance Methodology
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
An Abstract Equivalence Notion for Object Models
Electronic Notes in Theoretical Computer Science (ENTCS)
A Z Approach in Validating ORA-SS Data Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Dynamic security framework for mobile agent systems: specification, verification and enforcement
International Journal of Information and Computer Security
An outline pattern language for Z: five illustrations and two tables
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Proving temporal properties of Z specifications using abstraction
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Comparison of formalisation approaches of UML class constructs in Z and object-Z
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
ZML: XML support for standard Z
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Classification, formalization and verification of security functional requirements
SOFSEM'08 Proceedings of the 34th conference on Current trends in theory and practice of computer science
Context-dependent product line practice for constructing reliable embedded systems
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
A formal verification study on the Rotterdam storm surge barrier
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Abstract specification and formalization of an operating system kernel in Z
ACM SIGOPS Operating Systems Review
Formal theory for software engineering students
Journal of Computing Sciences in Colleges
Formal methods in agent-oriented software engineering
AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering
A tactic language for refinement of state-rich concurrent specifications
Science of Computer Programming
Rigorous model-based design & verification flow for in-vehicle software
Proceedings of the 48th Design Automation Conference
Unifying theories in proofpower-z
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
Verifying OWL and ORL ontologies in PVS
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
An open extensible tool environment for event-b
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Z/Eves and the mondex electronic purse
ICTAC'06 Proceedings of the Third international conference on Theoretical Aspects of Computing
Model checking z specifications using SAL
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Including design guidelines in the formal specification of interfaces in z
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
A formal template language enabling metaproof
FM'06 Proceedings of the 14th international conference on Formal Methods
Ten commandments ten years on: lessons for ASM, B, Z and VSR-net
Rigorous Methods for Software Construction and Analysis
Multi-constraint security policies for delegated firewall administration
International Journal of Network Management
Teaching formal methods in a third world country: what, why and how
TFM'06 Proceedings of the 2006 conference on Teaching Formal Methods: practice and experience
A comparative study of two formal specification languages: Z-notation & B-method
Proceedings of the Second International Conference on Computational Science, Engineering and Information Technology
Automatic generation of object-oriented code from DEVS graphical specifications
Proceedings of the Winter Simulation Conference
Translation of Z specifications to executable code: Application to the database domain
Information and Software Technology
Context-dependent product line engineering with lightweight formal approaches
Science of Computer Programming
Hi-index | 0.00 |