Systematic software development using VDM
Systematic software development using VDM
Eiffel: the language
Abstract data types and the development of data structures
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Object-Oriented Software Construction
Object-Oriented Software Construction
The Science of Programming
Princples of Computer Programming
Princples of Computer Programming
A Discipline of Programming
Report on the programming language Euclid
ACM SIGPLAN Notices
Ensuring semantic integrity of reusable objects (panel)
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Systematic concurrent object-oriented programming
Communications of the ACM
Combining contracts and exemplar-based programming for class hiding and customization
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
A Practical Approach to Programming With Assertions
IEEE Transactions on Software Engineering
A language and environment for architecture-based software development and evolution
Proceedings of the 21st international conference on Software engineering
Formal specification of COTS-based software: a case study
SSR '99 Proceedings of the 1999 symposium on Software reusability
Live memory analysis for garbage collection in embedded systems
Proceedings of the ACM SIGPLAN 1999 workshop on Languages, compilers, and tools for embedded systems
Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education
Proceedings of the thirty-first SIGCSE technical symposium on Computer science education
Safely creating correct subclasses without seeing superclass code
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Towards agent-oriented assistance for framework instantiation
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Safely creating correct subclasses without seeing superclass code
OOPSLA '00 Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum)
Behavior-consistent specialization of object life cycles
ACM Transactions on Software Engineering and Methodology (TOSEM)
Contract Soundness for object-oriented languages
OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Investigating the use of analysis contracts to support fault isolation in object oriented code
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Towards Specifying Constraints for Object-Oriented Frameworks
Information Systems Frontiers
Embedding built-in tests in hot spots of an object-oriented framework
ACM SIGPLAN Notices
Support for business-driven evolution with coordination technologies
IWPSE '01 Proceedings of the 4th International Workshop on Principles of Software Evolution
Modular architecture for a toolset supporting OCL
Science of Computer Programming - Special issue on unified modeling language (UML 2000)
Making Components Contract Aware
Computer
Reliable Objects: Lightweight Testing for OO Languages
IEEE Software
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
Attribute extension - a technique for enforcing programming conventions
Nordic Journal of Computing
Aspect Composition Applying the Design by Contract Principle
GCSE '00 Proceedings of the Second International Symposium on Generative and Component-Based Software Engineering-Revised Papers
Using the TrustME Tool Suite for Automatic Component Protocol Adaptation
ICCS '02 Proceedings of the International Conference on Computational Science-Part II
Early-Reply Components: Concurrent Execution with Sequential Reasoning
ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools
Using Design Information to Identify Structural Software Faults
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
A Simple and Practical Approach to Unit Testing: The JML and JUnit Way
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Coordination Technologies for Managing Information System Evolution
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Evolving the Software of a Schema Evolution System
FoMLaDO/DEMM 2000 Selected papers from the 9th International Workshop on Foundations of Models and Languages for Data and Objects, Database Schema Evolution and Meta-Modeling
NGITS '02 Proceedings of the 5th International Workshop on Next Generation Information Technologies and Systems
Towards a Consistent Viewpoint on Consistency for Persistent Applications
Proceedings of the International Symposium on Objects and Databases
jContractor: A Reflective Java Library to Support Design by Contract
Reflection '99 Proceedings of the Second International Conference on Meta-Level Architectures and Reflection
SOFSEM '02 Proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Coordination for Orchestration
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
A UML Meta-model for Contract Aware Components
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Architectural Considerations in the Certification of Modular Systems
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
Components, Contracts, and Connectors for the Unified Modelling Language UML
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Interference Analysis for Dependable Systems Using Refinement and Abstraction
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Towards a Compositional Approach to the Design and Verification of Distributed Systems
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Constructing Self-Testable Software Components
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Increasing the Testability of Object-Oriented Frameworks with Built-in Tests
AISA '02 Proceedings of the First International Workshop on Advanced Internet Services and Applications
Separating computation, coordination and configuration
Journal of Software Maintenance: Research and Practice - Special issue: Separation of concerns for software evolution
From diagnosis to diagnosability: axiomatization, measurement and application
Journal of Systems and Software
End-user software engineering with assertions in the spreadsheet paradigm
Proceedings of the 25th International Conference on Software Engineering
A framework for component deployment testing
Proceedings of the 25th International Conference on Software Engineering
Assessing test-driven development at IBM
Proceedings of the 25th International Conference on Software Engineering
The grand challenge of Trusted Components
Proceedings of the 25th International Conference on Software Engineering
Towards specifying constraints for object-oriented frameworks
CASCON '01 Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative research
Operator Design Pattern for Data Parallel Computation
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Mechanical Generation of Robust Class Hierarchies
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Analysis by Contract or UML with Attitude
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
But Who Will Guard the Guardians?
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Designing reliable systems from reliable components using the context-dependent constraint concept
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Building Trust into OO Components Using a Genetic Analogy
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Automatic component protocol adaptation with the CoConut/J tool suite
Future Generation Computer Systems - Tools for program development and analysis
Trustworthy components-compositionality and prediction
Journal of Systems and Software - Special issue on: Component-based software engineering
Reliability prediction for component-based software architectures
Journal of Systems and Software - Special issue on: Software architecture - Engineering quality attributes
Investigating the use of analysis contracts to improve the testability of object-oriented code
Software—Practice & Experience
Thirteen Knights and the Seven-headed Dragon: an Interdisciplinary Software Engineering Framework
STEP '02 Proceedings of the 10th International Workshop on Software Technology and Engineering Practice
Ontology support for web service processes
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Specification of business components using temporal OCL
UML and the unified process
The UniTesK Approach to Designing Test Suites
Programming and Computing Software
Studying program correctness by constructing contracts
Proceedings of the 8th annual conference on Innovation and technology in computer science education
Analysing failure behaviours in component interaction
Journal of Systems and Software
Towards Safe Distributed Application Development
Proceedings of the 26th International Conference on Software Engineering
Assessing and Improving State-Based Class Testing: A Series of Experiments
IEEE Transactions on Software Engineering
Contract-Checking Wrappers for C++ Classes
IEEE Transactions on Software Engineering
Service-based processes: design for business and technology
Proceedings of the 2nd international conference on Service oriented computing
A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools
IEEE Transactions on Software Engineering
"Computer, please, tell me what i have to do...": an approach to agent-aided application composition
Journal of Systems and Software - Special issue: Automated component-based software engineering
Model variables: cleanly supporting abstraction in design by contract: Research Articles
Software—Practice & Experience
Contextual information management using contract: based workflow
Proceedings of the 2nd conference on Computing frontiers
Moving from Business to Technology with Service-Based Processes
IEEE Internet Computing
Toward an Acceptable Definition of Service
IEEE Software
From StoCharts to MoDeST: a comparative reliability analysis of train radio communications
Proceedings of the 5th international workshop on Software and performance
Reengineering towards components using "Reconn-exion"
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Safety assurance contracts for integrated modular avionics
SCS '03 Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33
A model-driven approach to enforce crosscutting assertion checking
MACS '05 Proceedings of the 2005 workshop on Modeling and analysis of concerns in software
Issues in performance certification for high-level automotive control software
SEAS '05 Proceedings of the second international workshop on Software engineering for automotive systems
A contextual interpretation of undefinedness for runtime assertion checking
Proceedings of the sixth international symposium on Automated analysis-driven debugging
The Audition Framework for TestingWeb Services Interoperability
EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
AspectAda: aspect oriented programming for ada95
Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies
Modular Software Design with Crosscutting Interfaces
IEEE Software
Test-driven learning: intrinsic integration of testing into the CS/SE curriculum
Proceedings of the 37th SIGCSE technical symposium on Computer science education
Prevention of failures due to assumptions made by software components in real-time systems
ACM SIGBED Review - Special issue: The second workshop on high performance, fault adaptive, large scale embedded real-time systems (FALSE-II)
Constraint satisfaction techniques for diagnosing errors in design by contract software
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Preliminary design of JML: a behavioral interface specification language for java
ACM SIGSOFT Software Engineering Notes
A historical perspective on runtime assertion checking in software development
ACM SIGSOFT Software Engineering Notes
Automatic Test Generation: A Use Case Driven Approach
IEEE Transactions on Software Engineering
On contracting different behavioral properties in component-based systems
Proceedings of the 2006 ACM symposium on Applied computing
Constructing contracts: Making discrete mathematics relevant to beginning programmers
Journal on Educational Resources in Computing (JERIC)
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
A case study of specification and verification using JML in an avionics application
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Issues in building an ANRTS platform
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Provably correct loops bounds for realtime Java programs
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Distributed agent paradigm for soft and hard computation
Journal of Network and Computer Applications - Special issue: Innovations in agent collaboration
Proceedings of the 13th ACM conference on Computer and communications security
Type-based publish/subscribe: Concepts and experiences
ACM Transactions on Programming Languages and Systems (TOPLAS)
Early detection of JML specification errors using ESC/Java2
Proceedings of the 2006 conference on Specification and verification of component-based systems
Modeling distributed real-time applications with specification PEARL
Real-Time Systems
Aspects in the industry standard AADL
Proceedings of the 10th international workshop on Aspect-oriented modeling
A different need for sequencing contracts using state-based aspects
Proceedings of the 2nd workshop on Best practices in applying aspect-oriented software development
Towards detecting and solving aspect conflicts and interferences using unit tests
Proceedings of the 5th workshop on Software engineering properties of languages and aspect technologies
International Journal of Knowledge-based and Intelligent Engineering Systems - Selected papers from the KES2004 conference
Interface contracts for TinyOS
Proceedings of the 6th international conference on Information processing in sensor networks
Config: a case study in combining software engineering techniques
Scientific Programming
Trust-By-Contract: Modelling, Analysing And Predicting Behaviour Of Software Architectures
Journal of Integrated Design & Process Science
Towards constructing reusable specialization components
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
NodeMD: diagnosing node-level faults in remote wireless sensor systems
Proceedings of the 5th international conference on Mobile systems, applications and services
Design by Contract to Improve Software Vigilance
IEEE Transactions on Software Engineering
A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Overview and Evaluation of Constraint Validation Approaches in Java
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Reducing verification effort in component-based software engineering through built-in testing
Information Systems Frontiers
Language-Based Program Verification via Expressive Types
Electronic Notes in Theoretical Computer Science (ENTCS)
Runtime Checking of UML Association-Related Constraints
WODA '07 Proceedings of the 5th International Workshop on Dynamic Analysis
Macroprogramming heterogeneous sensor networks using cosmos
Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007
SCS '06 Proceedings of the eleventh Australian workshop on Safety critical systems and software - Volume 69
Composing pattern-based components and verifying correctness
Journal of Systems and Software
An approach for selective state machine based regression testing
Proceedings of the 3rd international workshop on Advances in model-based testing
Monitoring conversational web services
2nd international workshop on Service oriented software engineering: in conjunction with the 6th ESEC/FSE joint meeting
Assessing the impact of bad smells using historical information
Ninth international workshop on Principles of software evolution: in conjunction with the 6th ESEC/FSE joint meeting
QoS management in distributed service oriented systems
PDCN'07 Proceedings of the 25th conference on Proceedings of the 25th IASTED International Multi-Conference: parallel and distributed computing and networks
Programming and Computing Software
Open framework for conformance testing via scenarios
Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion
Verification-centric realization of electronic vote counting
EVT'07 Proceedings of the USENIX Workshop on Accurate Electronic Voting Technology
Component dependency in object-oriented software
Journal of Computer Science and Technology
An environment for flexible advanced compensations of Web service transactions
ACM Transactions on the Web (TWEB)
Preservation of probabilistic information flow under refinement
Information and Computation
A conceptual architecture for semantic web services development and deployment
International Journal of Web and Grid Services
Implementing Java modeling language contracts with AspectJ
Proceedings of the 2008 ACM symposium on Applied computing
Enterprise systems modeling: the ERP5 development process
Proceedings of the 2008 ACM symposium on Applied computing
CADeComp: Context-aware deployment of component-based applications
Journal of Network and Computer Applications
The IMML VDE: models, languages and tools to develop interactive systems
International Journal of Web Engineering and Technology
Restful web services vs. "big"' web services: making the right architectural decision
Proceedings of the 17th international conference on World Wide Web
Automated instrumentation of contracts and scenarios for requirements validation in .net
Proceedings of the 3rd international workshop on Automation of software test
Modifying Contracts with Larissa Aspects
Electronic Notes in Theoretical Computer Science (ENTCS)
Journal of Systems and Software
A framework for the simulation of structural software evolution
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Automatic Testing of Object-Oriented Software
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Towards a Versatile Contract Model to Organize Behavioral Specifications
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Explicit Connectors in Component Based Software Engineering for Distributed Embedded Systems
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code
FM '08 Proceedings of the 15th international symposium on Formal Methods
JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity
FM '08 Proceedings of the 15th international symposium on Formal Methods
On the Impact of Evolving Requirements-Architecture Dependencies: An Exploratory Study
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
From Contracts Towards Dependent Types: Proofs by Partial Evaluation
Implementation and Application of Functional Languages
Bristlecone: A Language for Robust Software Systems
ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
Modelling the CoCoME with DisCComp
The Common Component Modeling Example
Towards a Two Layered Verification Approach for Compiled Graph Transformation
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Using assertions to help end-user programmers create dependable web macros
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Automatic generation of test specifications for coverage of system state transitions
Information and Software Technology
Automating regression test selection based on UML designs
Information and Software Technology
Assuring Consistency of Business Process Models and Web Services Using Visual Contracts
Applications of Graph Transformations with Industrial Relevance
A Runtime Quality Architecture for Service-Oriented Systems
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Multiple Viewpoint Contract-Based Specification and Design
Formal Methods for Components and Objects
Software—Practice & Experience
Formal analysis tools for the synchronous aspect language Larissa
EURASIP Journal on Embedded Systems - Model-driven high-level programming of embedded systems: selected papers from SLA++P'07 and SLA++P'08
Generating MDA's platform independent model using URDAD
Knowledge-Based Systems
Middleware support for adaptive dependability
Proceedings of the ACM/IFIP/USENIX 2007 International Conference on Middleware
System state coverage through automatic test case generation
International Journal of Information and Communication Technology
Specifying and checking protocols of multithreaded classes
Proceedings of the 2009 ACM symposium on Applied Computing
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
The UML Is More Than Boxes and Lines
Models in Software Engineering
The VLDB Journal — The International Journal on Very Large Data Bases
Validation of contracts using enabledness preserving finite state abstractions
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
A Case Study in JML-Assisted Software Development
Electronic Notes in Theoretical Computer Science (ENTCS)
Specification and Runtime Verification of Java Card Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Model Checking Merged Program Traces
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the 2008 conference on Knowledge-Based Software Engineering: Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering
Guaranteeing correctness of component bindings in dynamic adaptive systems based on runtime testing
Proceedings of the 4th international workshop on Services integration in pervasive environments
Developing parallel programs: A design-oriented perspective
IWMSE '09 Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering
Software hardening: a research agenda
Proceedings for the 1st workshop on Script to Program Evolution
A comparative study of programmer-written and automatically inferred contracts
Proceedings of the eighteenth international symposium on Software testing and analysis
Evolving Services from a Contractual Perspective
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
HyperAdapt: Enabling Aspects for XML
ICWE '9 Proceedings of the 9th International Conference on Web Engineering
A thread synchronization model for SIP servlet containers
Proceedings of the 3rd International Conference on Principles, Systems and Applications of IP Telecommunications
Asserting and checking determinism for multithreaded programs
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
On the Role of Formal Methods in Software Certification: An Experience Report
Electronic Notes in Theoretical Computer Science (ENTCS)
Object oriented program correctness with OOSimL
Journal of Computing Sciences in Colleges
Modular Checking with Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Executing code in the past: efficient in-memory object graph versioning
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Contracts for first-class modules
DLS '09 Proceedings of the 5th symposium on Dynamic languages
Cumulative subgoal fulfillment in software development
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Generating class contracts from UML protocol statemachines
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
An Approach for Refactoring using ESC/Java2 ---A Simple Case Study ---
Proceedings of the 2009 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the Eighth SoMeT_09
On The Roles of APIs in the Coordination of Collaborative Software Development
Computer Supported Cooperative Work
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Teaching Formal Methods for the Unconquered Territory
TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification
TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
A Rewriting Semantics for a Software Architecture Description Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Parametric Performance Contracts for QML-specified Software Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling Component Behaviour with Concurrent Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Multi-paradigm Models as Source for Automated Test Construction
Electronic Notes in Theoretical Computer Science (ENTCS)
A Semantical Framework for the Orchestration and Choreography of Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic implementation of constraints in component based applications
Information and Software Technology
Controlled adaptation-oriented evolution of object-oriented components
SE '08 Proceedings of the IASTED International Conference on Software Engineering
Design of service level agreements for software services
CompSysTech '09 Proceedings of the International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing
Automated verification of security pattern compositions
Information and Software Technology
Formal design and implementation of constraints in software components
Advances in Engineering Software
A framework for proving contract-equipped classes
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Contracts for modular discrete controller synthesis
Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems
Type based adaptation: an adaptation approach for dynamic distributed systems
SEM'02 Proceedings of the 3rd international conference on Software engineering and middleware
A pattern logic for prompt lazy assertions in Haskell
IFL'06 Proceedings of the 18th international conference on Implementation and application of functional languages
A tool architecture to verify properties of multiagent system at runtime
ProMAS'06 Proceedings of the 4th international conference on Programming multi-agent systems
Towards model-driven unit testing
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
An analysis and design concept for self-organization in holonic multi-agent systems
ESOA'06 Proceedings of the 4th international conference on Engineering self-organising systems
ROVER: a framework for the evolution of relationships
ER'00 Proceedings of the 19th international conference on Conceptual modeling
Modular architecture for a toolset supporting OCL
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Viewing the OML as a variant of the UML
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Interconnecting objects via contracts
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Policies and aspects for the supervision of BPEL processes
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Characterizing safety of integrated services in home network system
ICOST'07 Proceedings of the 5th international conference on Smart homes and health telematics
Engineering compensations in web service environment
ICWE'07 Proceedings of the 7th international conference on Web engineering
Integration of time issues into component-based applications
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
Proceedings of the 2010 ACM Symposium on Applied Computing
Programming assistance based on contracts and modular verification in the automation domain
Proceedings of the 2010 ACM Symposium on Applied Computing
On the specification of parameterizable business components
TEAA'06 Proceedings of the 2nd international conference on Trends in enterprise application architecture
Middleware support for adaptive dependability
MIDDLEWARE2007 Proceedings of the 8th ACM/IFIP/USENIX international conference on Middleware
Event-based input validation using design-by-contract patterns
ISSRE'09 Proceedings of the 20th IEEE international conference on software reliability engineering
Proceedings of the 5th Workshop on Automation of Software Test
Verification of object-oriented software: The KeY approach
Verification of object-oriented software: The KeY approach
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Behavioural validation of software engineering artefacts
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Formal specification of wireless and pervasive healthcare applications
ACM Transactions on Embedded Computing Systems (TECS)
Towards an architectural viewpoint for systems of software intensive systems
Proceedings of the 2010 ICSE Workshop on Sharing and Reusing Architectural Knowledge
Robustness testing for software components
Science of Computer Programming
Modular analysis and modelling of risk scenarios with dependencies
Journal of Systems and Software
D: a programming language for our time
Journal of Computing Sciences in Colleges
Open complex computer based systems: only the first step along the way to safe, reliable computing
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
GamaSlicer: an online laboratory for program verification and analysis
Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications
Contracts for first-class classes
Proceedings of the 6th symposium on Dynamic languages
Change-point detection for black-box services
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Writing and using program specifications
Proceedings of the FSE/SDP workshop on Future of software engineering research
Contract-based data structure repair using alloy
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
An abstract machine for the old value retrieval
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
A theory of design-by-contract for distributed multiparty interactions
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
AIana: an AI planning system for test data generation
Proceedings of the 1st Workshop on Testing Object-Oriented Systems
Read-only execution for dynamic languages
TOOLS'10 Proceedings of the 48th international conference on Objects, models, components, patterns
Algorithm engineering: bridging the gap between algorithm theory and practice
Algorithm engineering: bridging the gap between algorithm theory and practice
Simple software processes and tests improve the reliability and usefulness of a model
Environmental Modelling & Software
An introduction to network stack design using software design patterns
MACE'10 Proceedings of the 5th IEEE international conference on Modelling autonomic communication environments
An approach for class testing from class contracts
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
SEUS'10 Proceedings of the 8th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
Data modeling is important for SOA
ER'10 Proceedings of the 2010 international conference on Advances in conceptual modeling: applications and challenges
Static type checking of model transformation programs
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Nested and dynamic contract boundaries
IFL'09 Proceedings of the 21st international conference on Implementation and application of functional languages
A semantics for lazy assertions
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Reasoning about safety and progress using contracts
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Thread contracts for safe parallelism
Proceedings of the 16th ACM symposium on Principles and practice of parallel programming
Proceedings of the 16th Conference on Pattern Languages of Programs
Precondition inference from intermittent assertions and application to contracts on collections
VMCAI'11 Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation
Dynamic frames in java dynamic logic
FoVeOOS'10 Proceedings of the 2010 international conference on Formal verification of object-oriented software
Access control via belnap logic: Intuitive, expressive, and analyzable policy composition
ACM Transactions on Information and System Security (TISSEC)
Using global pairs for reducing software development time
Proceedings of the 4th India Software Engineering Conference
Scribbling interactions with a formal foundation
ICDCIT'11 Proceedings of the 7th international conference on Distributed computing and internet technology
Using VCL as an aspect-oriented approach to requirements modelling
Transactions on aspect-oriented software development VII
Modeling behavioral RESTful web service interfaces in UML
Proceedings of the 2011 ACM Symposium on Applied Computing
A Theory of Synchronous Relational Interfaces
ACM Transactions on Programming Languages and Systems (TOPLAS)
Engineering multi-tenant software-as-a-service systems
Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems
Workflow-driven tool integration using model transformations
Graph transformations and model-driven engineering
A dynamic security framework for ambient intelligent systems: a smart-home based eHealth application
Transactions on computational science X
Software assumptions failure tolerance: role, strategies, and visions
Architecting dependable systems VII
Agents for games and simulations II
Enabling the runtime assertion checking of concurrent contracts for the Java modeling language
Proceedings of the 33rd International Conference on Software Engineering
Using VCL as an aspect-oriented approach to requirements modelling
Transactions on aspect-oriented software development VII
Searching for invariants using genetic programming and mutation testing
Proceedings of the 13th annual conference on Genetic and evolutionary computation
Proceedings of the 5th ACM international conference on Distributed event-based system
The road to feature modularity?
Proceedings of the 15th International Software Product Line Conference, Volume 2
Automatic detection of feature interactions using the Java modeling language: an experience report
Proceedings of the 15th International Software Product Line Conference, Volume 2
Combining specification-based and code-based coverage for model transformation chains
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
Contracts for model execution verification
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Test suite quality for model transformation chains
TOOLS'11 Proceedings of the 49th international conference on Objects, models, components, patterns
Designing level 3 behavioral RESTful web service interfaces
ACM SIGAPP Applied Computing Review
Assessing architectural evolution: a case study
Empirical Software Engineering
On contract satisfaction in a higher-order world
ACM Transactions on Programming Languages and Systems (TOPLAS)
Correct and non-defensive glue design using abstract models
CODES+ISSS '11 Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Vertical safety interfaces: improving the efficiency of modular certification
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
PATMOS'11 Proceedings of the 21st international conference on Integrated circuit and system design: power and timing modeling, optimization, and simulation
A component model for hard real-time systems: CCM with ARINC-653
Software—Practice & Experience
Praspel: a specification language for contract-based testing in PHP
ICTSS'11 Proceedings of the 23rd IFIP WG 6.1 international conference on Testing software and systems
Runtime verification of component-based systems
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
On the interplay of exception handling and design by contract: an aspect-oriented recovery approach
Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs
Diagnosing errors in dbc programs using constraint programming
CAEPIA'05 Proceedings of the 11th Spanish association conference on Current Topics in Artificial Intelligence
Using shared arrays in message-driven parallel programs
Parallel Computing
Beyond assertions: advanced specification and verification with JML and ESC/Java2
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Stepwise development of secure systems
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
Experiences with the design of a run-time check
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
Typed contracts for functional programming
FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
Predicting mean service execution times of software components based on markov models
QoSA'05 Proceedings of the First international conference on Quality of Software Architectures and Software Quality, and Proceedings of the Second International conference on Software Quality
Jartege: a tool for random generation of unit tests for java classes
QoSA'05 Proceedings of the First international conference on Quality of Software Architectures and Software Quality, and Proceedings of the Second International conference on Software Quality
Access permission contracts for scripting languages
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The interaction of contracts and laziness
PEPM '12 Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation
rCOS: refinement of component and object systems
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
From components to autonomic elements using negotiable contracts
ATC'06 Proceedings of the Third international conference on Autonomic and Trusted Computing
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Description technique for component composition focusing on black-box view
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part IV
Verification of safety properties in the presence of transactions
CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
A library of OCL specification patterns for behavioral specification of software components
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Runtime adaptation of applications through dynamic recomposition of components
ARCS'05 Proceedings of the 18th international conference on Architecture of Computing Systems conference on Systems Aspects in Organic and Pervasive Computing
Modelling parametric contracts and the state space of composite components by graph grammars
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Non-deterministic constructs in OCL – what does any() mean
SDL'05 Proceedings of the 12th international conference on Model Driven
Protective wrapping of off-the-shelf components
ICCBSS'05 Proceedings of the 4th international conference on COTS-Based Software Systems
An automated dependability analysis method for COTS-based systems
ICCBSS'05 Proceedings of the 4th international conference on COTS-Based Software Systems
JCML: A specification language for the runtime verification of Java Card programs
Science of Computer Programming
Specification and verification of encapsulation in java programs
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Compatibility test and adapter generation for interfaces of software components
ICDCIT'04 Proceedings of the First international conference on Distributed Computing and Internet Technology
OCL and graph-transformations: a symbiotic alliance to alleviate the frame problem
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Regression test selection for testable classes
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
Model-Driven safety evaluation with state-event-based component failure annotations
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Exogenous connectors for software components
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
A contracting system for hierarchical components
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Contract-based web service composition framework with correctness guarantees
ISAS'05 Proceedings of the Second international conference on Service Availability
Proof-based system engineering using a virtual system model
ISAS'05 Proceedings of the Second international conference on Service Availability
On the effectiveness of run-time checks
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
Improving composition support with lightweight metadata-based extensions of component models
SC'05 Proceedings of the 4th international conference on Software Composition
Supporting tools for designing-by-contract in component-based applications
MIS'04 Proceedings of the 2004 international conference on Metainformatics
Model-driven monitoring: an application of graph transformation for design by contract
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Layered ontological modelling for web service-oriented model-driven architecture
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
A formal framework for confidentiality-preserving refinement
ESORICS'06 Proceedings of the 11th European conference on Research in Computer Security
Program verification in SPARK and ACSL: a comparative case study
Ada-Europe'10 Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies
Limes: an aspect-oriented constraint checking language
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
Enforcing different contracts in hierarchical component-based systems
SC'06 Proceedings of the 5th international conference on Software Composition
Dependable Systems
Definition and correct refinement of operation specifications
Dependable Systems
Component-Based Software Development for Embedded Systems
Specifying the semantics of operation contracts in conceptual modeling
Journal on Data Semantics VII
SCOOP – a contract-based concurrent object-oriented programming model
Advanced Lectures on Software Engineering
Are practitioners writing contracts?
Rigorous Development of Complex Fault-Tolerant Systems
On the use of formal specifications as part of running programs
Software Engineering for Multi-Agent Systems IV
MADCAR: an abstract model for dynamic and automatic (re-)assembling of component-based applications
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Generating class contracts from deterministic UML protocol statemachines
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Component contracts in eclipse - a case study
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
Automated creation and assessment of component adapters with test cases
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
Design by contract deontic design language for multiagent systems
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
Audition of web services for testing conformance to open specified protocols
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Performance prediction of component-based systems
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
QoS contract-aware reconfiguration of component architectures using e-graphs
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Capturing performance assumptions using stochastic performance logic
ICPE '12 Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering
Observation and abstract behaviour in specification and implementation of state-based systems
IW-FM'01 Proceedings of the 5th Irish conference on Formal Methods
Action and perception in agent programming languages: from exogenous to endogenous environments
ProMAS'10 Proceedings of the 8th international conference on Programming Multi-Agent Systems
Moving from specifications to contracts in component-based design
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Applying design by contract to feature-oriented programming
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Mathematical and Computer Modelling: An International Journal
Verification conditions for source-level imperative programs
Computer Science Review
Cognitive concepts in autonomous soccer playing robots
Cognitive Systems Research
Towards well-formed fragment composition with reference attribute grammars
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Inferring method specifications from natural language API descriptions
Proceedings of the 34th International Conference on Software Engineering
Polymorphic scenario-based specification models: semantics and applications
Software and Systems Modeling (SoSyM)
A framework for the modular specification and orchestration of authorization policies
NordSec'10 Proceedings of the 15th Nordic conference on Information Security Technology for Applications
Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systemss
On formal specification of maple programs
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
Experiences with a compositional model checker in the healthcare domain
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
JSART: javascript assertion-based regression testing
ICWE'12 Proceedings of the 12th international conference on Web Engineering
Typing model transformations using tracts
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Formal specification and testing of model transformations
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
CIGA: a middleware for intelligent agents in virtual environments
AEGS'11 Proceedings of the 2011 international conference on Agents for Educational Games and Simulations
Family-based deductive verification of software product lines
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
JMF: Java measurement framework: language-supported runtime integrity measurement
Proceedings of the seventh ACM workshop on Scalable trusted computing
Modular and verified automatic program repair
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Real-time Java API specifications for high coverage test generation
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
UniTI: a unified transformation infrastructure
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Bridging the chasm between MDE and the world of compilation
Software and Systems Modeling (SoSyM)
A liskov principle for delta-oriented programming
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Automated verification of model transformations based on visual contracts
Automated Software Engineering
Modeling and executing ConcurTaskTrees using a UML and SOIL-based metamodel
Proceedings of the 12th Workshop on OCL and Textual Modelling
Automatic generation of test models and properties from UML models with OCL constraints
Proceedings of the 12th Workshop on OCL and Textual Modelling
Towards tracking "guilty" transformation rules: a requirements perspective
Proceedings of the First Workshop on the Analysis of Model Transformations
On the formal verification of component-based embedded operating systems
ACM SIGOPS Operating Systems Review
A feature-oriented WSDL extension for describing grid services
HCITOCH'11 Proceedings of the Second international conference on Human-Computer Interaction, Tourism and Cultural Heritage
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Expressing and checking intended changes via software change contracts
Proceedings of the 2013 International Symposium on Software Testing and Analysis
Science of Computer Programming
Subclack: feature-oriented programming with behavioral feature interfaces
Proceedings of the 5th Workshop on MechAnisms for SPEcialization, Generalization and inHerItance
Product-line verification with feature-oriented contracts
Proceedings of the 2013 International Symposium on Software Testing and Analysis
Towards modular analysis of multi product lines
Proceedings of the 17th International Software Product Line Conference co-located workshops
Cyber-physical system design contracts
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems
Engineering model transformations with transML
Software and Systems Modeling (SoSyM)
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Identifying and specifying crosscutting contracts with AspectJML
Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity
Contracts for First-Class Classes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Reuse in software verification by abstract method calls
CADE'13 Proceedings of the 24th international conference on Automated Deduction
Using model types to support contract-aware model substitutability
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
An automatic generation strategy for test cases based on constraints
ICIC'13 Proceedings of the 9th international conference on Intelligent Computing Theories and Technology
Abstract effects and proof-relevant logical relations
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Aliasing in Object-Oriented Programming
Integrating discrete controller synthesis into a reactive programming language compiler
Discrete Event Dynamic Systems
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
DropsBox: the Dresden Open Software Toolbox
Software and Systems Modeling (SoSyM)
On the Validation of Invariants at Runtime
Fundamenta Informaticae
| Hi-index | 4.12 |
Methodological guidelines for object-oriented software construction that improve the reliability of the resulting software systems are presented. It is shown that the object-oriented techniques rely on the theory of design by contract, which underlies the design of the Eiffel analysis, design, and programming language and of the supporting libraries, from which a number of examples are drawn. The theory of contract design and the role of assertions in that theory are discussed.