Conceptual structures: information processing in mind and machine
Conceptual structures: information processing in mind and machine
IFO: a formal semantic database model
ACM Transactions on Database Systems (TODS)
Communications of the ACM
Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
Latex: a document preparation system
Latex: a document preparation system
Algebraic methods: theory, tools and applications
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Specification case studies
The Z notation: a reference manual
The Z notation: a reference manual
Object-oriented modeling and design
Object-oriented modeling and design
Object-oriented development: the fusion method
Object-oriented development: the fusion method
Designing object systems: object-oriented modelling with Syntropy
Designing object systems: object-oriented modelling with Syntropy
Software requirements & specifications: a lexicon of practice, principles and prejudices
Software requirements & specifications: a lexicon of practice, principles and prejudices
Analysis patterns: reusable objects models
Analysis patterns: reusable objects models
Isomorph-free model enumeration: a new method for checking relational specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Exploring the semantics of UML type structures with Z
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
The functional data model and the data languages DAPLEX
ACM Transactions on Database Systems (TODS)
Database description with SDM: a semantic database model
ACM Transactions on Database Systems (TODS)
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Alcoa: the alloy constraint analyzer
Proceedings of the 22nd international conference on Software engineering
Automating first-order relational logic
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
COM revisited: tool-assisted modelling of an architectural framework
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Acta Informatica
Finding bugs with a constraint solver
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Logic and Visual Information
A Formal Semantics for Object Model Diagrams
IEEE Transactions on Software Engineering
Inconsistency and Undefinedness in Z - A Practical Guide
ZUM '98 Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation
Using Z as a Specification Calculus for Object-Oriented Systems
VDM '90 Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development
OCL: Syntax, Semantics, and Tools
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Interpreting the Object Constraint Language
APSEC '98 Proceedings of the Fifth Asia Pacific Software Engineering Conference
Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Constraint Diagrams: A Step Beyond UML
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Boolean Compilation of Relational Specifications
Boolean Compilation of Relational Specifications
Foundations of the unified modeling language
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
An analyzable annotation language
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Lightweight Analysis of Object Interactions
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
DPS: An Architectural Style for Development of Secure Software
InfraSec '02 Proceedings of the International Conference on Infrastructure Security
VAlloy - Virtual Functions Meet a Relational Language
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Debugging temporal specifications with concept analysis
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Object-Oriented Modeling and Automated Analysis of a Telemedicine Application
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
TestEra: A Novel Framework for Automated Testing of Java Programs
Proceedings of the 16th IEEE international conference on Automated software engineering
A combined approach to checking web ontologies
Proceedings of the 13th international conference on World Wide Web
A Constraint Architectural Description Approach to Self-Organising Component-Based Software Systems
Proceedings of the 26th International Conference on Software Engineering
Unifying structure, behavior, and data with themis types and templates
Proceedings of the fifteenth ACM conference on Hypertext and hypermedia
TestEra: Specification-Based Testing of Java Programs Using SAT
Automated Software Engineering
Static analysis of role-based access control in J2EE applications
ACM SIGSOFT Software Engineering Notes
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Merging partial behavioural models
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Visual specification and analysis of use cases
SoftVis '05 Proceedings of the 2005 ACM symposium on Software visualization
DynAlloy: upgrading alloy with actions
Proceedings of the 27th international conference on Software engineering
How the design of JML accommodates both runtime assertion checking and formal verification
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
A framework for analyzing exception flow in software architectures
WADS '05 Proceedings of the 2005 workshop on Architecting dependable systems
Exploring the acceptability envelope
OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Reasoning about static and dynamic properties in alloy: A purely relational approach
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
A strategy for efficient verification of relational specifications, based on monotonicity analysis
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Simon: modeling and analysis of design space structures
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Formal support for merging and negotiation
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Symbolic invariant verification for systems with dynamic structural adaptation
Proceedings of the 28th international conference on Software engineering
Relational programming with CrocoPat
Proceedings of the 28th international conference on Software engineering
Verification of coordinated exception handling
Proceedings of the 2006 ACM symposium on Applied computing
When only random testing will do
Proceedings of the 1st international workshop on Random testing
Role-Based access control consistency validation
Proceedings of the 2006 international symposium on Software testing and analysis
Analyzing architectural styles with alloy
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Using logical data models for understanding and transforming legacy business applications
IBM Systems Journal - Model-driven software development
Efficient software model checking of data structure properties
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Using resemblance to support component reuse and evolution
Proceedings of the 2006 conference on Specification and verification of component-based systems
Specifying and solving Boolean constraint problems in relational databases: a case study
Proceedings of the 44th annual Southeast regional conference
A static aspect language for checking design rules
Proceedings of the 6th international conference on Aspect-oriented software development
Formalization of the RM-ODP foundations based on the Triune Continuum Paradigm
Computer Standards & Interfaces
Analyzing web access control policies
Proceedings of the 16th international conference on World Wide Web
Support for Managing Design-Time Decisions
IEEE Transactions on Software Engineering
Using SCL to Specify and Check Design Intent in Source Code
IEEE Transactions on Software Engineering
When Role Models Have Flaws: Static Validation of Enterprise Security Policies
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Model-driven Development of Complex Software: A Research Roadmap
FOSE '07 2007 Future of Software Engineering
Architecture-driven modelling and analysis
SCS '06 Proceedings of the eleventh Australian workshop on Safety critical systems and software - Volume 69
A Static Semantics for Alloy and its Impact in Refactorings
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Controlled physical random functions and applications
ACM Transactions on Information and System Security (TISSEC)
Automated size analysis for OCL
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Computer-aided Support for Secure Tropos
Automated Software Engineering
Efficient Analysis of DynAlloy Specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
PoDIM: a language for high-level configuration management
LISA'07 Proceedings of the 21st conference on Large Installation System Administration Conference
Using Model Checking to Automatically Find Retrieve Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
Developing and debugging algebraic specifications for Java classes
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automated error analysis for the agilization of feature modeling
Journal of Systems and Software
Synthesising verified access control systems through model checking
Journal of Computer Security
Research challenges in the tension between features and services
Proceedings of the 2nd international workshop on Systems development in SOA environments
Modelling Dynamic Software Architectures using Typed Graph Grammars
Electronic Notes in Theoretical Computer Science (ENTCS)
Enabling verification and conformance testing for access control model
Proceedings of the 13th ACM symposium on Access control models and technologies
ACSC '08 Proceedings of the thirty-first Australasian conference on Computer science - Volume 74
A survey of autonomic computing—degrees, models, and applications
ACM Computing Surveys (CSUR)
Alloy as a Refactoring Checker?
Electronic Notes in Theoretical Computer Science (ENTCS)
The Importance of Non-theorems and Counterexamples in Program Verification
Verified Software: Theories, Tools, Experiments
Complexity of Verifying Game Equilibria
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
Verifying Dominant Strategy Equilibria in Auctions
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
Getting Formal Verification into Design Flow
FM '08 Proceedings of the 15th international symposium on Formal Methods
A Minimal Set of Refactoring Rules for Object-Z
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
The High Road to Formal Validation
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
The Objects and Arrows of Computational Design
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Scenario-Based Static Analysis of UML Class Models
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Using modern mathematics as an FOSD modeling language
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
On exceptions and the software development life cycle
Proceedings of the 4th international workshop on Exception handling
Towards the development of privacy-aware systems
Information and Software Technology
Towards Abstraction for DynAlloy Specifications
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Efficient Generation of Unsatisfiability Proofs and Cores in SAT
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
A Modeling Language for Program Design and Synthesis
Advances in Software Engineering
Verifying UML/OCL Operation Contracts
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Checking semantic usage of frameworks
LCSD '07 Proceedings of the 2007 Symposium on Library-Centric Software Design
Requirements-based Access Control Analysis and Policy Specification (ReCAPS)
Information and Software Technology
A Graph-based Design Framework for Global Computing Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Improving reliability of cooperative concurrent systems with exception flow analysis
Journal of Systems and Software
Security Analysis of Role Based Access Control Models Using Colored Petri Nets and CPNtools
Transactions on Computational Science IV
Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Verifying epistemic protocols under common knowledge
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Automatic system testing of programs without test oracles
Proceedings of the eighteenth international symposium on Software testing and analysis
System Model-Based Definition of Modeling Language Semantics
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Analysis of Aspect-Oriented Model Weaving
Transactions on Aspect-Oriented Software Development V
A Universal Self-Organization Mechanism for Role-Based Organic Computing Systems
ATC '09 Proceedings of the 6th International Conference on Autonomic and Trusted Computing
A Framework for Testing Model Composition Engines
SC '09 Proceedings of the 8th International Conference on Software Composition
A declarative formal approach to dynamic reconfiguration
Proceedings of the 1st international workshop on Open component ecosystems
Incremental integrity checking of UML/OCL conceptual schemas
Journal of Systems and Software
The PlusCal Algorithm Language
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
On the Construction and Verification of Self-modifying Access Control Policies
SDM '09 Proceedings of the 6th VLDB Workshop on Secure Data Management
Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Query-Aware Test Generation Using a Relational Constraint Solver
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Decidable fragments of many-sorted logic
Journal of Symbolic Computation
The overture initiative integrating tools for VDM
ACM SIGSOFT Software Engineering Notes
Finding robust solutions in requirements models
Automated Software Engineering
Towards an Operational Semantics for Alloy
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Automated Property Verification for Large Scale B Models
FM '09 Proceedings of the 2nd World Congress on Formal Methods
An Empirical Study of Structural Constraint Solving Techniques
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Attacking Group Multicast Key Management Protocols Using Coral
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a Small Model Theorem for Data Independent Systems in Alloy
Electronic Notes in Theoretical Computer Science (ENTCS)
Decision Procedures for Set-Valued Fields
Electronic Notes in Theoretical Computer Science (ENTCS)
A Formal Approach for the Evaluation of Network Security Mechanisms Based on RBAC Policies
Electronic Notes in Theoretical Computer Science (ENTCS)
A virtualization-based network architecture for next generation internet
ASID'09 Proceedings of the 3rd international conference on Anti-Counterfeiting, security, and identification in communication
Practical algorithms for unsatisfiability proof and core generation in SAT solvers
AI Communications - Practical Aspects of Automated Reasoning
Science of Computer Programming
Safe compositional network sketches: formal framework
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Pipa: a behavioral interface specification language for aspectJ
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Modeling and verification of cooperative self-adaptive mechatronic systems
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
Validating Z specifications using the PROB animator and model checker
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Modeling and analyzing architectural change with alloy
Proceedings of the 2010 ACM Symposium on Applied Computing
Using contracts and Boolean queries to improve the quality of automatic test generation
TAP'07 Proceedings of the 1st international conference on Tests and proofs
Decidable fragments of many-sorted logic
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
An approach to formalization and analysis of message passing libraries
FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
Analyzing architectural styles
Journal of Systems and Software
Constraint-based test database generation for SQL queries
Proceedings of the 5th Workshop on Automation of Software Test
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
Model-based software engineering: the challenges of modelling behaviour
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
Behavioural model for a business rules based approach to model services
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
Verification of policy-based self-managed cell interactions using alloy
POLICY'09 Proceedings of the 10th IEEE international conference on Policies for distributed systems and networks
Tool support for generation and validation of traces between requirements and architecture
Proceedings of the 6th ECMFA Traceability Workshop
Constructing authorization systems using assurance management framework
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
SQCK: a declarative file system checker
OSDI'08 Proceedings of the 8th USENIX conference on Operating systems design and implementation
Architectural style as an independent variable
Proceedings of the IEEE/ACM international conference on Automated software engineering
Verification-driven slicing of UML/OCL models
Proceedings of the IEEE/ACM international conference on Automated software engineering
Automated SQL query generation for systematic testing of database engines
Proceedings of the IEEE/ACM international conference on Automated software engineering
CoGenTe: a tool for code generator testing
Proceedings of the IEEE/ACM international conference on Automated software engineering
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Software for everyone by everyone
Proceedings of the FSE/SDP workshop on Future of software engineering research
The case for software evolution
Proceedings of the FSE/SDP workshop on Future of software engineering research
Writing and using program specifications
Proceedings of the FSE/SDP workshop on Future of software engineering research
Falling back on executable specifications
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
Contract-based data structure repair using alloy
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
Configuring software product line feature models based on Stakeholders' soft and hard requirements
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Trace-based verification of imperative programs with I/O
Journal of Symbolic Computation
Incorporating UML class and activity constructs into UEML
ER'10 Proceedings of the 2010 international conference on Advances in conceptual modeling: applications and challenges
Monarch: model-based development of software architectures
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Verifying stateful programs with substructural state and hoare types
Proceedings of the 5th ACM workshop on Programming languages meets program verification
Trustable formal specification for software certification
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
A combination of forward and backward reachability analysis methods
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Automatic conformance checking of role-based access control policies via alloy
ESSoS'11 Proceedings of the Third international conference on Engineering secure software and systems
Non-functional concerns in web services: requirements and state of the art analysis
Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services
A formal approach to software synthesis for architectural platforms
Proceedings of the 33rd International Conference on Software Engineering
Bakar Kiasan: flexible contract checking for critical systems using symbolic execution
NFM'11 Proceedings of the Third international conference on NASA Formal methods
Directed model checking for B: an evaluation and new techniques
SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications
Formalizing requirements with object models and temporal constraints
Software and Systems Modeling (SoSyM)
From Autonomic to Self-Self Behaviors: The JADE Experience
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
UOST: UML/OCL aggressive slicing technique for efficient verification of models
SAM'10 Proceedings of the 6th international conference on System analysis and modeling: about models
An MDE-based approach for solving configuration problems: an application to the eclipse platform
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Resource allocation contracts for open analytic runtime models
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
App isolation: get the security of multiple browsers with just one
Proceedings of the 18th ACM conference on Computer and communications security
Evaluation of tools and slicing techniques for efficient verification of UML/OCL class diagrams
Advances in Software Engineering
Enhancing spark's contract checking facilities using symbolic execution
SIGAda '11 Proceedings of the 2011 ACM annual international conference on Special interest group on the ada programming language
Model checking security policy model using both UML static and dynamic diagrams
Proceedings of the 4th international conference on Security of information and networks
A generic framework: from modeling to code
Innovations in Systems and Software Engineering
Towards reliable storage systems
Towards reliable storage systems
Verification and Validation of UML Conceptual Schemas with OCL Constraints
ACM Transactions on Software Engineering and Methodology (TOSEM)
Towards automated proof support for probabilistic distributed systems
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Using domain features to handle feature interactions
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas
Data & Knowledge Engineering
Specifying self-configurable component-based systems with fractoy
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Architecture as an independent variable for aspect-oriented application descriptions
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
ParAlloy: towards a framework for efficient parallel analysis of alloy models
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Formally designing an event-based application for mobile collaboration: a case study
SEM'04 Proceedings of the 4th international conference on Software Engineering and Middleware
Dependent types for program understanding
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
A domain model for dynamic system reconfiguration
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Automated boundary test generation from JML specifications
FM'06 Proceedings of the 14th international conference on Formal Methods
Monotonicity analysis can speed up verification
RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra
Reasoning about exception flow at the architectural level
Rigorous Development of Complex Fault-Tolerant Systems
Enforcing stateful authorization and information flow policies in fine
ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
Reliable dynamic reconfigurations in a reflective component model
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
MDA and analysis of web applications
TEAA'05 Proceedings of the 31st VLDB conference on Trends in Enterprise Application Architecture
Using model checking to analyze static properties of declarative models
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Analyzing temporal properties of abstract models
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Efficient and formal generalized symbolic execution
Automated Software Engineering
A component-based middleware platform for reconfigurable service-oriented architectures
Software—Practice & Experience
Dynamic constraint satisfaction problems over models
Software and Systems Modeling (SoSyM)
Modeling agent-based traffic simulation properties in Alloy
Proceedings of the 2012 Symposium on Agent Directed Simulation
Temporal logic model checking in alloy
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Critical systems development methodology using formal techniques
Proceedings of the Third Symposium on Information and Communication Technology
Unbounded data model verification using SMT solvers
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Modeling and analysis of product-line variants
Proceedings of the 16th International Software Product Line Conference - Volume 2
Pol: specification-driven synthesis of architectural code frameworks for platform-based applications
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
A formal model for automated software modularity and evolvability analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Validation of requirements for hybrid systems: A formal approach
ACM Transactions on Software Engineering and Methodology (TOSEM)
Managing trust and secrecy in identity management clouds
Proceedings of the 2012 ACM Workshop on Cloud computing security workshop
UMLtoCSP (UOST): a tool for efficient verification of UML/OCL class diagrams through model slicing
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
Obligations and their interaction with programs
ESORICS'07 Proceedings of the 12th European conference on Research in Computer Security
Efficiently generating structurally complex inputs with thousands of objects
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
Architecture-centric fault tolerance with exception handling
LADC'07 Proceedings of the Third Latin-American conference on Dependable Computing
Grammar-based test generation for software product line feature models
CASCON '12 Proceedings of the 2012 Conference of the Center for Advanced Studies on Collaborative Research
BETA: a b based testing approach
SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications
Formal Specification of Medical Systems by Proof-Based Refinement
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
ACM SIGSOFT Impact Paper Award 2012: Systematic Software Testing: The Korat Approach
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
Using automated model analysis for reasoning about security of web protocols
Proceedings of the 28th Annual Computer Security Applications Conference
Computer Standards & Interfaces
Dynamic test data generation for data intensive applications
HVC'11 Proceedings of the 7th international Haifa Verification conference on Hardware and Software: verification and testing
A declarative approach to automated configuration
lisa'12 Proceedings of the 26th international conference on Large Installation System Administration: strategies, tools, and techniques
Modeling and solving technical product configuration problems
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Reasoning about conditional constraint specification problems and feature models
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Towards correct product derivation in model-driven product lines
SAM'12 Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice
Verifiably-safe software-defined networks for CPS
Proceedings of the 2nd ACM international conference on High confidence networked systems
Optimizing database-backed applications with query synthesis
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
Specification and analysis of access control policies for mobile applications
Proceedings of the 18th ACM symposium on Access control models and technologies
Bottom-up model-driven development
Proceedings of the 2013 International Conference on Software Engineering
Synthesis of component and connector models from crosscutting structural views
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Finite satisfiability of UML class diagrams with constrained class hierarchy
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
Constraint Propagation for First-Order Logic and Inductive Definitions
ACM Transactions on Computational Logic (TOCL)
Using model types to support contract-aware model substitutability
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
Formal model-based validation for tally systems
Vote-ID'13 Proceedings of the 4th international conference on E-Voting and Identity
Ideal mode selection of a cardiac pacing system
DHM'13 Proceedings of the 4th International conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management: healthcare and safety of the environment and transport - Volume Part I
A case study on the lightweight verification of a multi-threaded task server
Science of Computer Programming
Journal of Systems and Software
Science of Computer Programming
| Hi-index | 0.02 |
Alloy is a little language for describing structural properties. It offers a declaration syntax compatible with graphical object models, and a set-based formula syntax powerful enough to express complex constraints and yet amenable to a fully automatic semantic analysis. Its meaning is given by translation to an even smaller (formally defined) kernel. This paper presents the language in its entirety, and explains its motivation, contributions and deficiencies.