A specification of Java loading and bytecode verification
CCS '98 Proceedings of the 5th ACM conference on Computer and communications security
Derivation of glue code for agent interoperation
AGENTS '00 Proceedings of the fourth international conference on Autonomous agents
FMSP '00 Proceedings of the third workshop on Formal methods in software practice
Formalizing the safety of Java, the Java virtual machine, and Java card
ACM Computing Surveys (CSUR)
Designware: software development by refinement
High integrity software
Spoken-word direction of computer program synthesis
APL '00 Proceedings of the international conference on APL-Berlin-2000 conference
A perspective of generative reuse
Annals of Software Engineering
Searching for a Global Search Algorithm
Automated Software Engineering
Industrial Applications of Software Synthesis via Category Theory—Case Studies Using Specware
Automated Software Engineering
Automated Software Engineering
Journal of Automated Reasoning
Revisiting the Categorical Approach to Systems
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Guarded Transitions in Evolving Specifications
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Applying Category Theory to Derive Engineering Software from Encoded Knowledge
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
The Extensibility of Maude's Module Algebra
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
OOD Frameworks in Component-Based Software - Development in Computational Logic
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
A Technique for Modular Logic Program Refinement
LOPSTR '00 Selected Papers form the 10th International Workshop on Logic Based Program Synthesis and Transformation
Towards a Colimit-Based Semantics for Visual Programming
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Applications of Structural Synthesis of Programs
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Modular Composition and Verification of Transaction Processing Protocols
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
V & V through Inconsistency Tracking and Analysis
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Composition and Refinement of Behavioral Specifications
Proceedings of the 16th IEEE international conference on Automated software engineering
On what exactly goes on when software is developed step-by-step, II: the sequel
Information Processing Letters - Special issue: Contribution to computing science
Structured theories and institutions
Theoretical Computer Science
Building reliable, high-performance networks with the Nuprl proof development system
Journal of Functional Programming
Real-Time Imaging - Special issue on software engineering
A language for configuring multi-level specifications
Theoretical Computer Science - Algebraic methodology and software technology
Structured formal development in Isabelle
Nordic Journal of Computing - Selected papers of the 17th nordic workshop on programming theory (NWPT'05), October 19-21, 2005
Science of Computer Programming
A Relational Framework For The Integration Of Specifications
Journal of Integrated Design & Process Science
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming
Category localization semantics for specification refinements
Annals of Mathematics and Artificial Intelligence
Calculating modules in contextual logic program refinement
Theory and Practice of Logic Programming
Information and Software Technology
A novel approach for component-based fault-tolerant software development
Information and Software Technology
Structured formal development with quotient types in Isabelle/HOL
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
Software services: scientific challenge or industrial hype?
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Proving consistency and completeness of model classes using theory interpretation
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Using formal methods with SysML in aerospace design and engineering
Annals of Mathematics and Artificial Intelligence
Specification and Integration of Theorem Provers and Computer Algebra Systems
Fundamenta Informaticae
Systems analysis of life cycle of large-scale information-control systems
Automation and Remote Control
Hi-index | 0.00 |