Properties of Z specifications
ACM SIGSOFT Software Engineering Notes
Tools to support formal methods
ICSE '89 Proceedings of the 11th international conference on Software engineering
Specifying reusable components using Z: realistic sets and dictionaries
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Formally specifying electronic instruments
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
An Ontological Model of an Information System
IEEE Transactions on Software Engineering
Surface interaction: a paradigm and model for separating application and interface
CHI '90 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
The role of formal reusable frameworks
Conference proceedings on Formal methods in software development
Formal specification for a clinical cyclotron control system
Conference proceedings on Formal methods in software development
Invariant properties in a dialog system
Conference proceedings on Formal methods in software development
Application of formal methods to system and software specification
Conference proceedings on Formal methods in software development
Formal Specification of a Look Manager
IEEE Transactions on Software Engineering
An OBJ3 functional specification for boundary representation
SMA '91 Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications
Formalization of Protocol Engineering Concepts
IEEE Transactions on Computers - Special issue on protocol engineering
Group projects in software engineering at York
ACM SIGCSE Bulletin
Formal verification of algorithms for critical systems
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Redundant rights in protection systems
ACM SIGOPS Operating Systems Review
Formal object-oriented methods in communication standards
ACM SIGPLAN OOPS Messenger
Reconciling environment integration and software evolution
ACM Transactions on Software Engineering and Methodology (TOSEM)
Undergraduate software engineering laboratories: a progress report from two universities
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
An anatomy of the information resource semantic abstraction
ACM SIGMOD Record
Trusted computing systems: the ProCoS experience
ICSE '92 Proceedings of the 14th international conference on Software engineering
Specification-based test oracles for reactive systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
A Case-Study in Timed Refinement: A Mine Pump
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Test template framework: a specification-based testing case study
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specifications and their use in defining subtypes
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Using style to understand descriptions of software architecture
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
A practical approach to software engineering using Z and the refinement calculus
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Defining context-dependent syntax without using contexts
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Dexter hypertext reference model
Communications of the ACM
Deriving programs using generic algorithms
IBM Systems Journal
Using ABC to prototype VDM specifications
ACM SIGPLAN Notices
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification
IEEE Transactions on Software Engineering
A new model of program dependences for reverse engineering
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
A language-independent approach to specification construction
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Using belief to reason about cache coherence
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Integrating a formal specification course with a software projects course via an editing tool
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
A Practical Approach to Programming With Assertions
IEEE Transactions on Software Engineering
A Syntactic Theory of Software Architecture
IEEE Transactions on Software Engineering - Special issue on software architecture
IEEE Transactions on Software Engineering - Special issue on software architecture
Generating test cases for real-time systems from logic specifications
ACM Transactions on Computer Systems (TOCS)
State abstraction and modular software development
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Elements of style: analyzing a software design feature with a counterexample detector
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
An analytic framework for specifying and analyzing imprecise requirements
Proceedings of the 18th international conference on Software engineering
A Component- and Message-Based Architectural Style for GUI Software
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
A framework for event-based software integration
ACM Transactions on Software Engineering and Methodology (TOSEM)
A theory of probabilistic functional testing
ICSE '97 Proceedings of the 19th international conference on Software engineering
SPARK—an annotated Ada subset for safety-critical programming
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
“…And nothing else changes”: the frame problem in procedure specifications
ICSE '93 Proceedings of the 15th international conference on Software Engineering
A framework for classifying and comparing architecture description languages
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
An approach to architectural analysis and testing
ISAW '98 Proceedings of the third international workshop on Software architecture
Formal Methods Technology Transfer: A View from NASA
Formal Methods in System Design - Special issue: industrial critical systems
Structured hypertext with domain semantics
ACM Transactions on Information Systems (TOIS)
Service specifications: to B, or not to B
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education
Understanding and exploring formal specifications
Annals of Software Engineering - Special issue on software engineering education
Modelling distributed systems using Z
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
The role of formalized domain-specific software frameworks
ISPW '90 Proceedings of the 5th international software process workshop on Experience with software process models
Structural specification-based testing: automated support and experimental evaluation
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Enhancing design reusability by clustering specifications
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Toward Constraint-Object-Oriented Development
IEEE Transactions on Software Engineering
Probe: a formal specification-based testing system
ICIS '99 Proceedings of the 20th international conference on Information Systems
A Vector-Based Approach to Software Size Measurement and Effort Estimation
IEEE Transactions on Software Engineering
A system for predictable component-based software construction
High integrity software
Distributed multimedia databases
Distributed multimedia databases
Supporting component-based reuse in CARE
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Synthesizing structured analysis and object-based formal specifications
Annals of Software Engineering
Tools for producing formal specifications: a view of current architectures and future directions
Annals of Software Engineering
Mapping software: Are we nearing standardization?
Annals of Software Engineering
A Real-Time Discrete Event System Specification Formalismfor Seamless Real-Time Software Development
Discrete Event Dynamic Systems
A Theory of Object-Oriented Design
Information Systems Frontiers
IEEE Software
IEEE Software
Architectural Styles, Design Patterns, and Objects
IEEE Software
Can we Formally Specify a Medical Decision Support System?
IEEE Expert: Intelligent Systems and Their Applications
Formal Verification of Algorithms for Critical Systems
IEEE Transactions on Software Engineering
Specifying and Verifying Requirements of Real-Time Systems
IEEE Transactions on Software Engineering
A Formal Model for Module Interconnection Languages
IEEE Transactions on Software Engineering
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models
IEEE Transactions on Software Engineering
On the Frame Problem in Procedure Specifications
IEEE Transactions on Software Engineering
A Formal Semantics for Object Model Diagrams
IEEE Transactions on Software Engineering
Optimal height reduction problems for tree-structured hierarchies
Nordic Journal of Computing
A Formal Approach to Heterogeneous Software Modeling
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Mapping an ADL to a Component-Based Application Development Environment
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Systems Engineering Foundations of Software Systems Integration
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
Formal Modelling of Reactive Agents as an Aggregation of Simple Behaviours
SETN '02 Proceedings of the Second Hellenic Conference on AI: Methods and Applications of Artificial Intelligence
Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
Modeling Dynamic Domains with ConGolog
CAiSE '99 Proceedings of the 11th 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
Refinement Calculus for Logic Programming in Isabelle/HOL
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Algebraic Imperative Specifications
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Formalizing Object-Oriented Models in the Object Calculus
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
On Mutually Recursive Free Types in Z
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Program Development and Specification Refinement in the Schema Calculus
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Automated Black-Box Testing with Abstract VDM Oracles
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Formal Methods: The Problem Is Education
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Developing BON as an Industrial-Strength Formal Method
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Cooperation of Formal Methods in an Engineering Based Software Development Process
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Using OCL and UML to Specify System Behavior
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Declarative Specifications of Complex Transactions
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
Exploiting Formality in Software Engineering
SOFSEM '99 Proceedings of the 26th Conference on Current Trends in Theory and Practice of Informatics on Theory and Practice of Informatics
Architecture, design, implementation
Proceedings of the 25th International Conference on Software Engineering
Intégration d'un modèle de tâche dans une démarche sûre de construction d'interface
IHM '02 Proceedings of the 14th French-speaking conference on Human-computer interaction (Conférence Francophone sur l'Interaction Homme-Machine)
Principles in formal specification of object oriented design and architecture
CASCON '01 Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative research
Metamorphic development of a GUI for configuration management
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
A Vector Based Software Size Measure
ASWEC '97 Proceedings of the Australian Software Engineering Conference
Technology Transfer Issues for Formal Methods of Software Specification
CSEET '00 Proceedings of the 13th Conference on Software Engineering Education & Training
ACSW Frontiers '03 Proceedings of the Australasian information security workshop conference on ACSW frontiers 2003 - Volume 21
The CARE toolset for developing verified programs from formal specifications
SAST '96 Proceedings of the Proceedings of the Fourth International Symposium on Assessment of Software Tools (SAST '96)
Composite Propositions: Toward Support for Formal Specification of System Properties
SEW '02 Proceedings of the 27th Annual NASA Goddard Software Engineering Workshop (SEW-27'02)
Formal representation of reuseable software modules
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
A C++ library for implementing specifications
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
An operational semantics for ZCCS
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Using CARE to Construct Verified Software
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Generating Test Cases from an OO Model with an AI Planning System
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
SALT - An Integrated Environment to Automate Generation of Function Tests for APIs
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
How Modeling Methods Affect the Process of Architectural Design Decisions: A Comparative Study
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
POLICY '02 Proceedings of the 3rd International Workshop on Policies for Distributed Systems and Networks (POLICY'02)
Visualizing graphical and textual formalisms
Information Systems
CODES '94 Proceedings of the 3rd international workshop on Hardware/software co-design
A pragmatic basis for the formal development of distributed systems
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Preconditions for understanding
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
A theory-model formalization of FlexOr
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
Strongly algebraic = SFP (topically)
Mathematical Structures in Computer Science
A translation approach to component specification
OOPSLA '02 Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Stream Composition for Highly Adaptive and Reconfigurable Mobile Middleware
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Undefinedness vs. underspecification in HALDEN ASL
Nordic Journal of Computing
System level modeling of component based software systems
CompSysTech '04 Proceedings of the 5th international conference on Computer systems and technologies
The role of modelling in the software engineering curriculum
Journal of Systems and Software - Special issue: Software engineering education and training
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 formal approach to component adaptation and composition
ACSC '05 Proceedings of the Twenty-eighth Australasian conference on Computer Science - Volume 38
Functional declarative language design and predicate calculus: a practical approach
ACM Transactions on Programming Languages and Systems (TOPLAS)
A historical perspective on runtime assertion checking in software development
ACM SIGSOFT Software Engineering Notes
Formal methods for embedded distributed systems
An extension of COCOMO II for the B-Method
Proceedings of the 2006 international workshop on Economics driven software engineering research
Logic and refinement for charts
ACSC '06 Proceedings of the 29th Australasian Computer Science Conference - Volume 48
Early detection of JML specification errors using ESC/Java2
Proceedings of the 2006 conference on Specification and verification of component-based systems
Model-driven Development of Complex Software: A Research Roadmap
FOSE '07 2007 Future of Software Engineering
Domains of concern in software architectures and architecture description languages
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Derivation of a Scalable Lock-Free Stack Algorithm
Electronic Notes in Theoretical Computer Science (ENTCS)
Semi-Automated Component-Based Development of Formally Verified Software
Electronic Notes in Theoretical Computer Science (ENTCS)
On modeling for pervasive computing environments
Proceedings of the 10th ACM Symposium on Modeling, analysis, and simulation of wireless and mobile systems
Viewing CSP Specifications with UML-RT Diagrams
Electronic Notes in Theoretical Computer Science (ENTCS)
'Galculator': functional prototype of a Galois-connection based proof assistant
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Information systems security and human behaviour
Behaviour & Information Technology
Strongly algebraic = SFP (topically)
Mathematical Structures in Computer Science
Formal Modeling of a Generic Middleware to Ensure Invariant Properties
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems
Journal of Systems and Software
The untrained eye: how languages for software specification support understanding in untrained users
Human-Computer Interaction
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
F-TRADE 3.0: An Agent-Based Integrated Framework for Data Mining Experiments
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Nondeterminism in Constructive Z
Fundamenta Informaticae
Semantics transformation of NFA to Z notation by constructing union of regular languages
ACS'08 Proceedings of the 8th conference on Applied computer scince
Checking semantic usage of frameworks
LCSD '07 Proceedings of the 2007 Symposium on Library-Centric Software Design
The Formal Semantics of the Domain Specific Modeling Language for Multiagent Systems
Agent-Oriented Software Engineering IX
Constructive formal conversion of Moore machine to deterministic finite automata
MAMECTIS'08 Proceedings of the 10th WSEAS international conference on Mathematical methods, computational techniques and intelligent systems
Formal methods: Practice and experience
ACM Computing Surveys (CSUR)
Monterey Phoenix, or how to make software architecture executable
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
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
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
RAFFS: Model Checking a Robust Abstract Flash File Store
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
What Level of Mathematical Reasoning can Computer Science Demand of a Software Implementer?
Electronic Notes in Theoretical Computer Science (ENTCS)
An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types
Electronic Notes in Theoretical Computer Science (ENTCS)
Using Z to specify object-oriented software complexity measures
Information and Software Technology
Lessons learned from rigorous system software development
Information and Software Technology
P/S-CoM: Building correct by design Publish/Subscribe architectural styles with safe reconfiguration
Journal of Systems and Software
Annotating cooperative plans with trusted agents
AAMAS'02 Proceedings of the 2002 international conference on Trust, reputation, and security: theories and practice
From use cases to system operation specifications
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Analyzing architectural styles
Journal of Systems and Software
Components for information extraction: ontology-based information extractors and generic platforms
CIKM '10 Proceedings of the 19th ACM international conference on Information and knowledge management
Generating natural language descriptions of Z test cases
INLG '10 Proceedings of the 6th International Natural Language Generation Conference
Unifying theories of programming that distinguish nontermination and abort
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Enhanced semantic access to formal software models
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
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
Sal/Svm: an assembly language and virtual machine for computing with non-enumerated sets
Virtual Machines and Intermediate Languages
Verifying security properties of internet protocol stacks: The split verification approach
Journal of Systems Architecture: the EUROMICRO Journal
A Theory of Synchronous Relational Interfaces
ACM Transactions on Programming Languages and Systems (TOPLAS)
Coupling-based transformations of Z specifications into UML diagrams
Innovations in Systems and Software Engineering
Towards the Composition of Specifications in Event-B
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a fully generic theory of data
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Object-Oriented specification composition and refinement via category theoretic computations
TAMC'06 Proceedings of the Third international conference on Theory and Applications of Models of Computation
Generating model-based test cases from natural language requirements for space application software
Software Quality Control
Pointfree factorization of operation refinement
FM'06 Proceedings of the 14th international conference on Formal Methods
Using domain-independent problems for introducing formal methods
FM'06 Proceedings of the 14th international conference on Formal Methods
CPP'11 Proceedings of the First international conference on Certified Programs and Proofs
Shared event composition/decomposition in event-b
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Modeling asynchronous message passing for c programs
VMCAI'12 Proceedings of the 13th international conference on Verification, Model Checking, and Abstract Interpretation
The location linking concept: a basis for verification of code using pointers
VSTTE'12 Proceedings of the 4th international conference on Verified Software: theories, tools, experiments
Using temporal logic in the specification of reactive and interactive systems
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
Science of Computer Programming
Proof and refutation in formal software development
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Method for data models integration in the common paradigm
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Formal analysis of concurrent real-time requirements models
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Coupling schemas: data refinement and view (point) composition
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Using LOTOS for the evaluation of design options in the PREMO standard
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Methods'96 Proceedings of the 1996 international conference on Methods Integration
Teach Z by reverse engineering specifications from real-life implementations
TFM'06 Proceedings of the 2006 conference on Teaching Formal Methods: practice and experience
A graph grammar-based formal validation of object-process diagrams
Software and Systems Modeling (SoSyM)
The practical application of formal methods: where is the benefit for industry?
FoVeOOS'11 Proceedings of the 2011 international conference on Formal Verification of Object-Oriented Software
Nondeterminism in Constructive Z
Fundamenta Informaticae
Pushouts in software architecture design
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
Formal design of structural and dynamic features of publish/subscribe architectural styles
ECSA'07 Proceedings of the First European conference on Software Architecture
What's wrong with git?: a conceptual design analysis
Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software
Hi-index | 0.02 |