OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
A formal adaption method for process descriptions
ICSE '89 Proceedings of the 11th international conference on Software engineering
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Journal of the ACM (JACM)
Applying VDM to large developments
Conference proceedings on Formal methods in software development
The algebraic specification language LOTOS: an industrial experience
Conference proceedings on Formal methods in software development
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Specifications and their use in defining subtypes
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
An algebraic theory of class specification
ACM Transactions on Software Engineering and Methodology (TOSEM)
A complete calculus for the multialgebraic and functional semantics of nondeterminism
ACM Transactions on Programming Languages and Systems (TOPLAS)
State abstraction and modular software development
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Object-oriented formal specifications to support Ada 95 reuse
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
Hardware/software synthesis of formal specifications in codesign of embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Techniques and language constructs for developing generic informations systems: a case study
SSR '01 Proceedings of the 2001 symposium on Software reusability: putting software reuse in context
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective
IEEE Transactions on Knowledge and Data Engineering
Unions of non-disjoint theories and combinations of satisfiability procedures
Theoretical Computer Science
Formal software specification with refinements and modules of typed graph transformation systems
Journal of Computer and System Sciences
A Generic Component Framework for System Modeling
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Comorphism-Based Grothendieck Logics
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
An Algebraic Framework for Separate Type-Checking
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
Extended Institutions for Testing
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Increasing Reusability in Information Systems Development by Applying Generic Methods
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
Amalgamation in CASL via Enriched Signatures
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Algebraic Imperative Specifications
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Component-Based Synthesis of Dependable Embedded Software
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
A Modular Approach to the Specification and Validation of an Electrical Flight Control System
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Semantics of First Order Parametric Specifications
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
The Amsterdam Manifesto on OCL
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Formal and natural computing
Modular Composition and Verification of Transaction Processing Protocols
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
On the specification of software components
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Structured theories and institutions
Theoretical Computer Science
Abstract and behaviour module specifications
Mathematical Structures in Computer Science
A theory of mixin modules: basic and derived operators
Mathematical Structures in Computer Science
An approach to the formal specification of lingware
Natural Language Engineering
Real-Time Imaging - Special issue on software engineering
Composing programs in a rewriting logic for declarative programming
Theory and Practice of Logic Programming
IEEE Transactions on Software Engineering
Amalgamation in the semantics of CASL
Theoretical Computer Science - Automata, languages and programming
A language for configuring multi-level specifications
Theoretical Computer Science - Algebraic methodology and software technology
Formalizing and validating UML architecture description of web systems
ICWE '06 Workshop proceedings of the sixth international conference on Web engineering
From implementation to theory in product synthesis
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Science of Computer Programming
Cooperability In Train Control Systems: Specification Of Scenarios Using Open Nets
Journal of Integrated Design & Process Science
A Transformation-Based Component Framework For A Generic Integrated Modeling Technique
Journal of Integrated Design & Process Science - Component-Based System Development
Journal of Integrated Design & Process Science - Component-Based System Development
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming
Formal Definition of MOF 2.0 Metamodel Components and Composition
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
Towards Component Verification in the Generic Component Framework
Electronic Notes in Theoretical Computer Science (ENTCS)
A Generic Framework for Connector Architectures based on Components and Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
A novel approach for component-based fault-tolerant software development
Information and Software Technology
Algebraic semantics of service component modules
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Structured CSP: a process algebra as an institution
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Complexity of some problems in universal algebra extended abstract
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
SSDGP'06 Proceedings of the 2006 international conference on Datatype-generic programming
Action algebras and model algebras in denotational semantics
Semantics and algebraic specification
Towards managing dynamic reconfiguration of software systems in a categorical setting
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
The architecture description language model
Graph transformations and model-driven engineering
Flexible interconnection of graph transformation modules
Formal Methods in Software and Systems Modeling
Algebraic properties of interfaces
Formal Methods in Software and Systems Modeling
Formal Methods in Software and Systems Modeling
Functorial semantics of rewrite theories
Formal Methods in Software and Systems Modeling
Cofree coalgebras for signature morphisms
Formal Methods in Software and Systems Modeling
Formal Methods in Software and Systems Modeling
Constructive specifications for compositional units
LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
Type class polymorphism in an institutional framework
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Building a modal interface theory for concurrency and data
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Modal logics for reasoning about object-based component composition
IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods
A model for dynamic state-based systems
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
DEFINING OPERATIONAL BEHAVIOR OF OBJECT SPECIFICATIONS BY ATTRIBUTED GRAPH TRANSFORMATIONS
Fundamenta Informaticae
Reusable graph transformation templates
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
From types to type requirements: genericity for model-driven engineering
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |