AVANCE: an object management system
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Object-oriented programming: an objective sense of style
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Object-oriented design: a responsibility-driven approach
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
PROCOL: a parallel object language with protocols
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Extending the operating system to support an object-oriented environment
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
A fast method dispatcher for compiled languages with multiple inheritance
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
An object addressing mechanism for statically typed languages with multiple inheritance
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Virtual classes: a powerful mechanism in object-oriented programming
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Interfaces for strongly-typed object-oriented programming
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Understanding object-oriented: a unifying paradigm
Communications of the ACM
Lessons from the design of the Eiffel libraries
Communications of the ACM
Class management for software communities
Communications of the ACM
Surveying current research in object-oriented design
Communications of the ACM
The object-oriented systems life cycle
Communications of the ACM
Type-dependent parameter inference
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Toward a typed foundation for method specialization and inheritance
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Object oriented programming, tutorial
APL '90 Conference proceedings on APL 90: for the future
Viewing object as patterns of communicating agents
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Kaleidoscope: mixing objects, constraints, and imperative programming
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Type substitution for object-oriented programming
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
A parallel object-oriented language with inheritance and subtyping
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Contracts: specifying behavioral compositions in object-oriented systems
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Reasoning about object-oriented programs that use subtypes
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
The point of view notion for multiple inheritance
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Exception handling and object-oriented programming: towards a synthesis
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Unidraw: a framework for building domain-specific graphical editors
ACM Transactions on Information Systems (TOIS)
A PC-based expert system in engineering
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Reconciling environment integration and component independence
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
F-bounded polymorphism for object-oriented programming
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
ASK: a kernel for programming actor systems
SIGSMALL '90 Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems
Implementation and manipulation of formal objects: an object-oriented view
SIGSMALL '90 Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems
Making languages more powerful by removing limitations
Conference proceedings on Formal methods in software development
Structured analysis—formal design, using stream and object oriented formal specifications
Conference proceedings on Formal methods in software development
Object-oriented specification of reactive systems
ICSE '90 Proceedings of the 12th international conference on Software engineering
Dragoon: an object-oriented notation supporting the reuse and distribution of Ada software
IRTAW '90 Proceedings of the fourth international workshop on Real-time Ada issues
The object-oriented paradigm and neurocomputing
ANNA '91 Proceedings of the conference on Analysis of neural network applications
A view matcher for reusing Smalltalk classes
CHI '91 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
A naming system for feature-based service specification in distributed operating systems
SIGSMALL '91 Proceedings of the 1991 ACM SIGSMALL/PC symposium on Small systems
Making pure object-oriented languages practical
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Object-oriented type inference
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Towards a metrics suite for object oriented design
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Islands: aliasing protection in object-oriented languages
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Object-preserving class transformations
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
An event-object recovery model for object-oriented user interfaces
UIST '91 Proceedings of the 4th annual ACM symposium on User interface software and technology
Case studies on testing object-oriented programs
TAV4 Proceedings of the symposium on Testing, analysis, and verification
A note on type composition and reusability
ACM SIGPLAN OOPS Messenger
Organized C: A unified method of handling data in CAD algorithms and databases
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
SDL: a standard language for Ada real-time applications
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
Automatic abstraction of real-time software and re-implementation in Ada
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
The evolution of DVI system software
Communications of the ACM
Transfer of computing techniques to the chemical and petrochemical industries from NASA-JSC
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Reusable distributed “data environments”
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Querying object-oriented databases
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
A research typology for object-oriented analysis and design
Communications of the ACM - Special issue on analysis and modeling in software development
Comparing techniques by means of encapsulation and connascence
Communications of the ACM - Special issue on analysis and modeling in software development
Object CHILL—an object oriented language for systems implementation
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Undergraduate software engineering laboratories: a progress report from two universities
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
A CPU scheduling simulation from structured programming to object-oriented design
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
What orientation should Ada objects take?
Communications of the ACM
Communications of the ACM
Interfaces and specifications for the Smalltalk-80 collection classes
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Monotonic conflict resolution mechanisms for inheritance
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Optimizing method search with lookup caches and incremental coloring
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Constraint patterns as a basis for object oriented programming
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Ensuring semantic integrity of reusable objects (panel)
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
CHI '92 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Towards a method of programming with assertions
ICSE '92 Proceedings of the 14th international conference on Software engineering
A mark-and-sweep collector C++
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Algorithmic aspects of type inference with subtypes
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A parallel execution environment for a sequential object oriented language
ICS '92 Proceedings of the 6th international conference on Supercomputing
Object-oriented analysis for telecommunications services
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Implementing tagged types and type extensions for Ada 9X
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Multiple representation of abstract data types and reuse of realizations
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Extending N-grid group authorization using compact encoding
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Identifying a complete object oriented life cycle for large systems development
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Behavioral inheritance: concepts, Ada implementation and experience
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Defining software architectures using the Hierarchical Object-Oriented Design method (HOOD)
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Object oriented graphics in APL2
APL '92 Proceedings of the international conference on APL
An efficient implementation scheme of concurrent object-oriented languages on stock multicomputers
PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
HOPL-II The second ACM SIGPLAN conference on History of programming languages
The development of the C language
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Towards a testing methodology for object-oriented systems
OOPSLA '92 Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)
Finding an educational perspective for object-oriented development
OOPSLA '92 Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)
Teaching practical object-oriented software engineering
OOPSLA '92 Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)
Teaching object-oriented programming or using the object model to teach software engineering
OOPSLA '92 Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)
Introducing object-orientedness into a breadth-first introductory curriculum
OOPSLA '92 Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)
OOPSLA '92 Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)
SIGCPR '93 Proceedings of the 1993 conference on Computer personnel research
Systematic concurrent object-oriented programming
Communications of the ACM
Concurrency annotations for reusable software
Communications of the ACM
Toward a method of object-oriented concurrent programming
Communications of the ACM
Introducing concurrency to a sequential language
Communications of the ACM
Parametrized programming in LILEANNA
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Filtering import: a basic mechanism for reusability
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Applying object-oriented design to finite element programming
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
A class library management system for object-oriented programming
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Efficient handling of multiple inheritance hierarchies
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Structural active object systems for simulation
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Building and maintaining analysis-level class hierarchies using Galois Lattices
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
A framework for programming and formalizing concurrent objects
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
WSC '92 Proceedings of the 24th conference on Winter simulation
ROMAN-9X: a technique for representing object models in Ada 9X notation
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
Creating abstract superclasses by refactoring
CSC '93 Proceedings of the 1993 ACM conference on Computer science
The design of the E programming language
ACM Transactions on Programming Languages and Systems (TOPLAS)
Object-oriented logical specification of time-critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Design for testability in object-oriented systems
Communications of the ACM
Conceptual modelling in the hypermedia development process
SIGCPR '94 Proceedings of the 1994 computer personnel research conference on Reinventing IS : managing information technology in changing organizations: managing information technology in changing organizations
BITS: a smartcard protected operating system
Communications of the ACM
A taxonomy of software development methods
Communications of the ACM
Inheritance of rewrite rule structures applied to symbolic computation
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
There's more to OOP than syntax!
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
Typechecking and modules for multi-methods
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
A distributed garbage collector for active objects
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Genericity versus inheritance reconsidered: self-reference using generics
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Proposal for a monotonic multiple inheritance linearization
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Introducing undergraduates to object orientation using the Turing language
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
The ASTOOT approach to testing object-oriented programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
An algebraic theory of class specification
ACM Transactions on Software Engineering and Methodology (TOSEM)
The Larch/Smalltalk interface specification language
ACM Transactions on Software Engineering and Methodology (TOSEM)
A selective undo mechanism for graphical user interfaces based on command objects
ACM Transactions on Computer-Human Interaction (TOCHI)
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Implementing OSA model instances in Ada
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Object oriented design and implementation of concurrent and real time systems in Ada
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Removing implementation details from C++ class declarations
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
An object-oriented file system—an example of using the class hierarchy framework concept
ACM SIGOPS Operating Systems Review
AVCS: the APL version control system
APL '95 Proceedings of the international conference on Applied programming languages
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
A reuse approach based on object orientation: its contributions in the development of CASE tools
SSR '95 Proceedings of the 1995 Symposium on Software reusability
Internal representation and rule development in object-oriented design
ACM Transactions on Computer-Human Interaction (TOCHI)
A mechanism for persistently naming topological entities in history-based parametric solid models
SMA '95 Proceedings of the third ACM symposium on Solid modeling and applications
Typechecking and modules for multimethods
ACM Transactions on Programming Languages and Systems (TOPLAS)
Specification matching of software components
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Conflicting class structures between the object oriented paradigm and users concepts
CHI '95 Conference Companion on Human Factors in Computing Systems
ICS '95 Proceedings of the 9th international conference on Supercomputing
Object-oriented military simulation development and application
WSC '95 Proceedings of the 27th conference on Winter simulation
Iteration abstraction in Sather
ACM Transactions on Programming Languages and Systems (TOPLAS)
Beyond traditional program slicing
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Assertion-oriented automated test data generation
Proceedings of the 18th international conference on Software engineering
ACM Transactions on Database Systems (TODS)
The reuse of uses in Smalltalk programming
ACM Transactions on Computer-Human Interaction (TOCHI)
A natural semantics for Eiffel dynamic binding
ACM Transactions on Programming Languages and Systems (TOPLAS)
A monotonic superclass linearization for Dylan
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Lessons learned from implementing the CORBA persistent object service
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A framework for run-time systems and its visual programming language
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Semantic-based visualization for parallel object-oriented programming
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
An object-oriented program development environment for the first programming course
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
Thinking about binary trees in an object-oriented world
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
Bad engineering properties of object-orient languages
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
ACM Computing Surveys (CSUR)
An improved process for the development of PLC software
ICSE '97 Proceedings of the 19th international conference on Software engineering
Aspect: an economical bug-detector
ICSE '91 Proceedings of the 13th international conference on Software engineering
Prototyping in industrial software projects—bridging the gap between theory and practice
ICSE '93 Proceedings of the 15th international conference on Software Engineering
“…And nothing else changes”: the frame problem in procedure specifications
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Proceedings of the 1997 symposium on Software reusability
OOSPEC: an executable object-oriented specification language
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
OOPSLA '94 Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)
Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
On the inevitable intertwining of analysis and design: developing systems for complex cooperations
DIS '97 Proceedings of the 2nd conference on Designing interactive systems: processes, practices, methods, and techniques
A methodology for specifying data distribution using only standard object-oriented features
ICS '97 Proceedings of the 11th international conference on Supercomputing
Maintaining the consistency of class libraries during their evolution
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Efficient dynamic dispatch without virtual function tables: the SmallEiffel compiler
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Query-based debugging of object-oriented programs
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
An open architecture for robot entertainment
AGENTS '97 Proceedings of the first international conference on Autonomous agents
Object-oriented design and programming: an Eiffel, C++, and Java course for C programmers
SIGCSE '97 Proceedings of the twenty-eighth SIGCSE technical symposium on Computer science education
Towards a hierarchical design and integration of programming projects
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
Re-engineering legacy Cobol programs
Communications of the ACM
The GAP 4 type system: organising algebraic algorithms
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Data groups: specifying the modification of extended state
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Parametric polymorphism for Java: a reflective solution
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Multiple dispatch as dispatch on Tuples
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
StratOSphere: mobile processing of distributed objects in Java
MobiCom '98 Proceedings of the 4th annual ACM/IEEE international conference on Mobile computing and networking
Java as a teaching language—opportunities, pitfalls and solutions
ACSE '98 Proceedings of the 3rd Australasian conference on Computer science education
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Object-oriented and concurrent program design issues in Ada 95
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Consistency management for complex applications
Proceedings of the 20th international conference on Software engineering
Highly reliable upgrading of components
Proceedings of the 21st international conference on Software engineering
Identifying objects using cluster and concept analysis
Proceedings of the 21st international conference on Software engineering
Polymorphism measures for early risk prediction
Proceedings of the 21st international conference on Software engineering
Adding more “DL” to IDL: towards more knowledgeable component inter-operability
Proceedings of the 21st international conference on Software engineering
An assessment of the ModSim/TWOS parallel simulation environment
WSC '91 Proceedings of the 23rd conference on Winter simulation
GAME: an object-oriented approach to computer animation in flexible manufacturing system modelling
ANSS '91 Proceedings of the 24th annual symposium on Simulation
ANSS '91 Proceedings of the 24th annual symposium on Simulation
Multiple downcasting techniques
ACM SIGSOFT Software Engineering Notes
Time and space efficient method-lookup for object-oriented programs
Proceedings of the seventh annual ACM-SIAM symposium on Discrete algorithms
Detecting defects in object-oriented designs: using reading techniques to increase software quality
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Semantic analysis of virtual classes and nested classes
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Correspondence polymorphism for object-oriented languages
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Space and time-efficient memory layout for multiple inheritance
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The generic graph component library
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Functional lists: object-oriented design classes for MIS applications
WADAS '90 Proceedings of the seventh Washington Ada symposium on Ada
DRAGOON and Ada: the wedding of the nineties
WADAS '90 Proceedings of the seventh Washington Ada symposium on Ada
Language concepts using dynamic and distributed objects
CSC '91 Proceedings of the 19th annual conference on Computer Science
The executive office of environmental affairs systems modernization project
CSC '91 Proceedings of the 19th annual conference on Computer Science
Experiences in developing in object-oriented modeling environment for manufacturing systems
WSC' 90 Proceedings of the 22nd conference on Winter simulation
OFFERS — a tool for hierarchical implicit analysis of sequential object-oriented programs
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
An object-oriented design and implementation of reusable graph objects with C++: a case study
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
A Distributed Object-Oriented Language for Heterogeneous Computer Networks
The Journal of Supercomputing
Design guidelines for coordination components
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
An Object-Oriented Toolbox for Spectral Element Analysis
Journal of Scientific Computing
Object-oriented modeling: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Software evolution in componentware using requirements/assurances contracts
Proceedings of the 22nd international conference on Software engineering
A study on exception detection and handling using aspect-oriented programming
Proceedings of the 22nd international conference on Software engineering
IFIP/ACM International Conference on Distributed systems platforms
Programming languages and systems for prototyping concurrent applications
ACM Computing Surveys (CSUR)
Documenting framework behavior
ACM Computing Surveys (CSUR)
The use of object-oriented models in requirements engineering: a field study
ICIS '99 Proceedings of the 20th international conference on Information Systems
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
OoLALA: an object oriented analysis and design of numerical linear algebra
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Integrating object-oriented programming and protected objects in Ada 95
ACM Transactions on Programming Languages and Systems (TOPLAS)
The universe model: an approach for improving the modularity and reliability of concurrent programs
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Evolutionary programming techniques for testing students' code
ACSE '00 Proceedings of the Australasian conference on Computing education
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An agent-based approach for building complex software systems
Communications of the ACM
JML (poster session): notations and tools supporting detailed design in Java
OOPSLA '00 Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum)
Enhanced reuse and teamwork capabilities for an object-oriented extension of VHDL
Proceedings of the conference on Design, automation and test in Europe
The design of an OCL query-based debugger for C++
Proceedings of the 2001 ACM symposium on Applied computing
Building a layered framework for the table abstraction
Proceedings of the 2001 ACM symposium on Applied computing
Performance specification of software components
SSR '01 Proceedings of the 2001 symposium on Software reusability: putting software reuse in context
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
A software engineering perspective on algorithmics
ACM Computing Surveys (CSUR)
Communications of the ACM
Communications of the ACM
Panel: effects of object-oriented design on reuse and maintenance
Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world
Scientific programming in field theory, part 1
Computing in Science and Engineering
CLOWN as a testbed for concurrent object-oriented concepts
Concurrent object-oriented programming and petri nets
On formalizing UML with high-level petri nets
Concurrent object-oriented programming and petri nets
PASTE '01 Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Communications of the ACM
Rapid software prototyping in molecular modeling using the biochemical algorithms library (BALL)
Journal of Experimental Algorithmics (JEA)
Increasing client-side confidence in remote component implementations
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
WREN---an environment for component-based development
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Behavioral contracts and behavioral subtyping
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
York: programming software components
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
The object paradigm is to be reconsidered for distributed systems
EW 4 Proceedings of the 4th workshop on ACM SIGOPS European workshop
Contract Soundness for object-oriented languages
OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Event-based implicit invocation decentralized in Ada
ACM SIGAda Ada Letters
Obvious or not?: regulating architectural decisions using aspect-oriented programming
AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
Aspect-oriented programming with model checking
AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
SOMA: a paradigm to evolve software based on separation of concerns
Proceedings of the International Workshop on Principles of Software Evolution
Design guidelines for the lab component of objects-first CS1
SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education
Determining component reliability using a testing index
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Metaphor and metonymy in object-oriented design patterns
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Specifying and implementing the operational use of constraints in object-oriented applications
CRPIT '02 Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications
Building trust in third-party components using component wrappers in the .NET frameworks
CRPIT '02 Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications
A tool for component based design of embedded software
CRPIT '02 Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications
Symmetry in class and type hierarchy
CRPIT '02 Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications
Integrating object-oriented programming and protected objects in Ada 95
ACM SIGAda Ada Letters
Applying patterns to develop a pluggable protocols framework for ORB middleware
Design patterns in communications software
Decomposition of preemptive scheduling in the Go! component-based operating system
EW 9 Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system
Omega: a uniform object model easy to gain Ada's ends
ACM SIGAda Ada Letters
Object-oriented programming and design patterns
ACM SIGCSE Bulletin
Assuring and evolving concurrent programs: annotations and policy
Proceedings of the 24th International Conference on Software Engineering
An instrumentation and control-based approach for distributed application management and adaptation
WOSS '02 Proceedings of the first workshop on Self-healing systems
Elimination of Java array bounds checks in the presence of indirection
JGI '02 Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande
A Simple, Object-Based View of Multiprogramming
Formal Methods in System Design
Object modelling languages: An evaluation and some key expectations for the future
Annals of Software Engineering
Towards a General Component Model for Web-Based Applications
Annals of Software Engineering
The OCoN Approach to Workflow Modeling in Object-Oriented Systems
Information Systems Frontiers
WinBUGS – A Bayesian modelling framework: Concepts, structure, and extensibility
Statistics and Computing
Data & Knowledge Engineering
How Templates Enable High-Performance Scientific Computing in C++
Computing in Science and Engineering
Patterns in Scientific Software: An Introduction
Computing in Science and Engineering
Making Components Contract Aware
Computer
Software Engineering in the Academy
Computer
Minds and Machines
What Is `Mathematicalness' in Software Engineering?
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
Metamodelling and Conformance Checking with PVS
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
A Logic for the Java Modeling Language JML
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
A Formalisation of Java's Exception Mechanism
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
Symmetry Breaking in Software Patterns
GCSE '00 Proceedings of the Second International Symposium on Generative and Component-Based Software Engineering-Revised Papers
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
Effect Preservation as a Means for Achieving Update Consistency
FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
Data-Flow Oriented Visual Programming Libraries for Scientific Computing
ICCS '02 Proceedings of the International Conference on Computational Science-Part I
Logic Programming for Software Engineering: A Second Chance
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Impact of Inheritance on Metrics for Size, Coupling, and Cohesion in Object-Oriented Systems
IWSM '00 Proceedings of the 10th International Workshop on New Approaches in Software Measurement
Connectors for CORBA Components
OOIS '02 Proceedings of the 8th International Conference on Object-Oriented. Information Systems
Analysing Object-Oriented Application Frameworks Using Concept Analysis
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
Software Reuse with Use Case Patterns
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
Specialization/Generalization in Object-Oriented Analysis: Strengthening and Multiple Partitioning
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
Lightweight Analysis of Object Interactions
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
Specifying and Verifying a Decimal Representation in Java for Smart Cards
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Behavioural Subtyping Relations for Object-Oriented Formalisms
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
A Trace Model for Pointers and Objects
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Empirical Study of Object-Layout Strategies and Optimization Techniques
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Automated Test Case Generation from Dynamic Models
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Copying and Comparing: Problems and Solutions
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Sealing, Encapsulation, and Mutability
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Behavioral Compatibility of Self-Typed Theories
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
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
A Software Architecture for Timetable Construction
PATAT '00 Selected papers from the Third International Conference on Practice and Theory of Automated Timetabling III
Inheritance in Higher Order Logic: Modeling and Reasoning
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
CHASE: A Static Checker for JML's Assignable Clause
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
Component Libraries and Language Features
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Adding Design by Contract to the Ada Language
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
Object Oriented Design for Reusable Parallel Linear Algebra Software
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
ParBlocks - A New Methodology for Specifying Concurrent Method Executions in Opus
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
On the Concurrent Object Model of UML
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
A Formal Development and Validation Methodology Applied to Agent-Based Systems
Revised Papers from the International Workshop on Infrastructure for Multi-Agent Systems: Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems
From Graph Transformation to Rule-Based Programming with Diagrams
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Algebraic Semantics of ER-Models in the Context of the Calculus of Relations. II: Dynamic View
ReIMICS '01 Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science
Formal Techniques for Java Programs
ECOOP '00 Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology
ECOOP '00 Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology
Formal Methods for Component Software: The Refinement Calculus Perspective
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Java Specification Extension for Automated Test Development
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Towards a Full Formal Specification of the JavaCard API
E-SMART '01 Proceedings of the International Conference on Research in Smart Cards: Smart Card Programming and Security
A Model for Software Configuration in Ubiquitous Computing Environments
Pervasive '02 Proceedings of the First International Conference on Pervasive Computing
Testing MetaObject Protocols Generated by Open Compilers for Safety-Critical Systems
REFLECTION '01 Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns
NETWORKING '02 Proceedings of the Second International IFIP-TC6 Networking Conference on Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; and Mobile and Wireless Communications
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
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
BALL: Biochemical Algorithms Library
WAE '99 Proceedings of the 3rd International Workshop on Algorithm Engineering
Extreme Programming in a Research Environment
Proceedings of the Second XP Universe and First Agile Universe Conference on Extreme Programming and Agile Methods - XP/Agile Universe 2002
Software Construction by Stepwise Feature Introduction
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
A Data Abstraction Alternative to Data Structure/Algorithm Modularization
Selected Papers from the International Seminar on Generic Programming
The Genric Network Model-An ITU Approach for Interoperabilty
INTERWORKING '00 Proceedings of the 5th IFIP TC6 International Symposium on Next Generation Networks, Networks and Services for the Information Society
Packaging Predictable Assembly
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
A Tool to Reengineer Legacy Systems to Object-Oriented Systems
ER '99 Proceedings of the Workshops on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling
Formal Specification and Static Checking of Gemplus' Electronic Purse Using ESC/Java
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Bunches for Object-Oriented, Concurrent, and Real-Time Specification
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
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
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
Developing Components in the Presence of Re-entrance
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Enhancing the Pre- and Postcondition Technique for More Expressive Specifications
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Design of an Integrated Environment for the Automated Analysis of Architectural Drawings
DAS '98 Selected Papers from the Third IAPR Workshop on Document Analysis Systems: Theory and Practice
The Challenge of Object Orientation for the Analysis of Concurrent Systems
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Using Jini to Integrate Home Automation in a Distributed Software-System
DCW '02 Revised Papers from the 4th International Workshop on Distributed Communities on the Web
ISpec: Towards Practical and Sound Interface Specifications
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
The Design of a Tool-Supported Graphical Notation for Timed CSP
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Verification of Java's AbstractCollection Class: A Case Study
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
Using OCL and UML to Specify System Behavior
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
OCL: Syntax, Semantics, and Tools
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Developing Multi-agent Systems with JADE
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
On the Combination of Assertions and Virtual Prototyping for the Design of Safety-Critical Systems
ARCS '02 Proceedings of the International Conference on Architecture of Computing Systems: Trends in Network and Pervasive Computing
"Real World" as an Argument for Covariant Specialization in Programming and Modeling
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
Extending JML Specifications with Temporal Logic
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Structure and Constraints in Interactive Exploratory Algorithm Learning
Revised Lectures on Software Visualization, International Seminar
A database model for object dynamics
The VLDB Journal — The International Journal on Very Large Data Bases
Safe dynamic multiple inheritance
Nordic Journal of Computing
A trace model for pointers and objects
Programming methodology
The object-oriented paradigm: more natural or less familiar?
Journal of Computing Sciences in Colleges
Journal of Computing Sciences in Colleges
Specifying a role-based guide for learning to work with an enterprise framework
Software—Practice & Experience - Special issue: Enterprise frameworks
An infrastructure for searching, reusing and evolving distributed ontologies
WWW '03 Proceedings of the 12th international conference on World Wide Web
The grand challenge of Trusted Components
Proceedings of the 25th International Conference on Software Engineering
The specification of distributed objects: liveness and locality
CASCON '99 Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research
Enhancing Object-Based System Composition through Per-Object Mixins
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Conducting Requirements Evolution by Replacing Components in the Current System
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Error Scope on a Computational Grid: Theory and Practice
HPDC '02 Proceedings of the 11th IEEE International Symposium on High Performance Distributed Computing
Steering Object-Oriented Scientific Computations
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Cooperative Software Development: Concepts, Model and Tools
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Specifying Java Frameworks Using Abstract Programs
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Experiences Teaching Eiffel as a First Programming Language to Economy Students
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Direct Mapping and User Interface
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Analysis Techniques for Testing Polymorphic Relationships
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Measuring the Effectiveness of Method Test Sequences Derived from Sequencing Constraints
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
A Comparison of Defensive Development and Design by Contract
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Contracts: From Analysis to C++ Implementation
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Visualizing O-O Testing in Virtual Communities - Distributed Teaching and Learning
TOOLS '99 Proceedings of the 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)
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Automating Delegation in Class-Based Languages
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Critical Issues in the Proposed ISO Object-Oriented COBOL 2002 Standard
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Behavioral Subtyping and Behavioral Enrichment of Multimethods
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Process-Oriented Development of Embedded Systems: Modeling Behavior and Dependability
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Reactive transport in surface sediments I. Mexity and software quality
Computers & Geosciences - Special issue: Reactive transport modeling in the geosciences
Life-cycle inheritance in concurrent object-oriented systems
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Trends in system safety: a European view?
SCS '02 Proceedings of the seventh Australian workshop conference on Safety critical systems and software 2002 - Volume 15
A Framework for Detecting Interface Violations in Component-Based Software
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Criteria for Testing Polymorphic Relationships
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Behavioral Subtyping Relations for Active Objects
Formal Methods in System Design
Assertions: A Personal Perspective
IEEE Annals of the History of Computing
A controlled experiment on inheritance depth as a cost factor for code maintenance
Journal of Systems and Software
An empirical investigation of an object-oriented design heuristic for maintainability
Journal of Systems and Software
Automatic component protocol adaptation with the CoConut/J tool suite
Future Generation Computer Systems - Tools for program development and analysis
Journal of Systems and Software - Special issue on: Component-based software engineering
Investigating the use of analysis contracts to improve the testability of object-oriented code
Software—Practice & Experience
Encapsulation and information hiding as the keys to enhanced hypermedia development and maintenance
Data & Knowledge Engineering
Defining the internet-based supply chain system for mass customized markets
Computers and Industrial Engineering
Automatic prototype generating via optimized object model
ACM SIGAda Ada Letters
API documentation with executable examples
Journal of Systems and Software
Assertions: a personal perspective
Software pioneers
Refactoring for generalization using type constraints
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Creating Bespoke Applications on Demand from the Agentcities Test-Bed
BT Technology Journal
Enhancing RUP business model with client-oriented requirements models
UML and the unified process
Forward engineering and UML: from UML static models to Eiffel code
UML and the unified process
Managing multiple and distributed ontologies on the Semantic Web
The VLDB Journal — The International Journal on Very Large Data Bases
The UniTesK Approach to Designing Test Suites
Programming and Computing Software
A service-based approach to components for effective business-IT alignment
Practicing software engineering in the 21st century
The role of use cases in the UML: a review and research agenda
Advanced topics in database research vol. 1
The inheritance anomaly: ten years after
Proceedings of the 2004 ACM symposium on Applied computing
Wanted: CS1 students. no experience required
Proceedings of the 35th SIGCSE technical symposium on Computer science education
The Separation Principle: A Programming Paradigm
IEEE Software
ER modelling from first relational principles
Theoretical Computer Science
Leveraging object-orientation for real-time imaging systems
Real-Time Imaging - Special issue on software engineering
Extracting implicit contracts from .NET libraries
OOPSLA '02 Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
E-R modeler: a database modeling toolkit for Eclipse
ACM-SE 42 Proceedings of the 42nd annual Southeast regional conference
Mapping component specifications to Enterprise JavaBeans implementations
ACM-SE 42 Proceedings of the 42nd annual Southeast regional conference
A role model and its metaclass implementation
Information Systems
Responsibilities and Rewards: Specifying Design Patterns
Proceedings of the 26th International Conference on Software Engineering
Component-based distributed simulations: the way forward?
Proceedings of the eighteenth workshop on Parallel and distributed simulation
A set-theoretic framework for component composition
Fundamenta Informaticae
Invited application paper: a proposal for the specialization of HA/DRE systems
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Organic computing: on the feasibility of controlled emergence
Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Structured programming using processes
ERLANG '04 Proceedings of the 2004 ACM SIGPLAN workshop on Erlang
Efficient data race and deadlock prevention in concurrent object-oriented programs
OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Deriving refactorings for aspectJ
OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
SPARE parts: a C++ toolkit for string pattern recognition
Software—Practice & Experience
Scaling regression testing to large software systems
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Practice: guidelines for designing simulation building blocks
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Events as atomic contracts for component integration
Data & Knowledge Engineering - Special issue: Contract-driven coordination and collaboration in the internet context
Contract-Checking Wrappers for C++ Classes
IEEE Transactions on Software Engineering
A framework instantiation approach based on the features model
Journal of Systems and Software - Special issue: Applications of statistics in software engineering
Smart monitors for composed services
Proceedings of the 2nd international conference on Service oriented computing
Deriving refactorings for AspectJ
Proceedings of the 4th international conference on Aspect-oriented software development
Deriving refactorings for AspectJ
Proceedings of the 4th international conference on Aspect-oriented software development
Method redefinition: ensuring alternative behaviors
Information Processing Letters
Model variables: cleanly supporting abstraction in design by contract: Research Articles
Software—Practice & Experience
XJ: facilitating XML processing in Java
WWW '05 Proceedings of the 14th international conference on World Wide Web
Formal methods for smart cards: an experience report
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
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
Investigating the Role of Use Cases in the Construction of Class Diagrams
Empirical Software Engineering
Maintaining Correctness in Scientific Programs
Computing in Science and Engineering
Self-certification and trust in component procurement
Science of Computer Programming - Special issue on new software composition concepts
Journal of Software Maintenance and Evolution: Research and Practice
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Maintaining program understanding: issues, tools, and future directions
Nordic Journal of Computing
Redesigning the intermediate course in software design
ACE '05 Proceedings of the 7th Australasian conference on Computing education - Volume 42
Predicting the Probability of Change in Object-Oriented Systems
IEEE Transactions on Software Engineering
A contextual interpretation of undefinedness for runtime assertion checking
Proceedings of the sixth international symposium on Automated analysis-driven debugging
Software Component Certification: A Survey
EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Timed Probabilistic Constraints over the Distributed Management Taskforce Common Information Model
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
Teaching quality object-oriented programming
Journal on Educational Resources in Computing (JERIC)
jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation
Formal Methods in System Design
Linguistic continuity in software engineering
ACM SIGSOFT Software Engineering Notes
Software Refinement with Perfect Developer
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Logical Foundations of Program Assertions: What do Practitioners Want?
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Perceptions of extreme programming: an exploratory study
ACM SIGSOFT Software Engineering Notes
Traits: A mechanism for fine-grained reuse
ACM Transactions on Programming Languages and Systems (TOPLAS)
The inverted curriculum in practice
Proceedings of the 37th SIGCSE technical symposium on Computer science education
STLlint: lifting static checking from languages to libraries
Software—Practice & Experience
Application invariants: Design by Contract augmented with deployment correctness logic
Software—Practice & Experience
A Component Architecture for High-Performance Scientific Computing
International Journal of High Performance Computing Applications
Designing a product family of meshing tools
Advances in Engineering Software
Teaching cleanroom software engineering with object-oriented data abstraction
Journal of Computing Sciences in Colleges
Preliminary design of JML: a behavioral interface specification language for java
ACM SIGSOFT Software Engineering Notes
A view of 20th and 21st century software engineering
Proceedings of the 28th international conference on Software engineering
Improving test suites for efficient fault localization
Proceedings of the 28th international conference on Software engineering
Dynamically discovering likely interface invariants
Proceedings of the 28th international conference on Software engineering
Building an information system "From scratch"
Technology and Health Care - Special issue: MedNet 2005 - New tasks in internet use in health care
On the architectural alignment of ATL and QVT
Proceedings of the 2006 ACM symposium on Applied computing
Evaluation of rule-based modularization in model transformation languages illustrated with ATL
Proceedings of the 2006 ACM symposium on Applied computing
Java bytecode specification and verification
Proceedings of the 2006 ACM symposium on Applied computing
DSD-Crasher: a hybrid analysis tool for bug finding
Proceedings of the 2006 international symposium on Software testing and analysis
Aspect-oriented design in systemC: implementation and applications
SBCCI '06 Proceedings of the 19th annual symposium on Integrated circuits and systems design
Self-aware framework for adaptive augmented reality
Proceedings of the 2005 international conference on Augmented tele-existence
Comparing the fault-proneness of new and modified code: an industrial case study
Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering
BoxScript: a component-oriented language for teaching
Proceedings of the 43rd annual Southeast regional conference - Volume 1
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
To use or not to use the goto statement: programming styles viewed from Hoare logic
Science of Computer Programming
Modular invariants for layered object structures
Science of Computer Programming - Special issue on source code analysis and manipulation (SCAM 2005)
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
Safety critical applications and hard real-time profile for Java: a case study in avionics
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Roadmap for enhanced languages and methods to aid verification
Proceedings of the 5th international conference on Generative programming and component engineering
Stayin' alert:: moulding failure and exceptions to your needs
Proceedings of the 5th international conference on Generative programming and component engineering
Performance analysis based upon complete profiles
Proceedings of the 2006 conference on Specification and verification of component-based systems
Early detection of JML specification errors using ESC/Java2
Proceedings of the 2006 conference on Specification and verification of component-based systems
JML-based verification of liveness properties on a class in isolation
Proceedings of the 2006 conference on Specification and verification of component-based systems
Simplifying reasoning about objects with Tako
Proceedings of the 2006 conference on Specification and verification of component-based systems
Addressing concurrency in object-oriented software development
CASCON '06 Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research
Groovy Programming: An Introduction for Java Developers
Groovy Programming: An Introduction for Java Developers
Trustworthy software systems: a discussion of basic concepts and terminology
ACM SIGSOFT Software Engineering Notes
Using role-based coordination to achieve software adaptability
Science of Computer Programming
Transposing partial components: an exercise on coalgebraic refinement
Theoretical Computer Science - Components and objects
Creol: a type-safe object-oriented model for distributed concurrent systems
Theoretical Computer Science - Components and objects
Towards imperative modules: reasoning about invariants and sharing of mutable state
Theoretical Computer Science - Components and objects
Data & Knowledge Engineering - Special issue: ER 2003
Science of Computer Programming - Special issue: Synchronization and concurrency in object-oriented languages
A different need for sequencing contracts using state-based aspects
Proceedings of the 2nd workshop on Best practices in applying aspect-oriented software development
Java in the box: implementing the BoxScript component language
ACM-SE 45 Proceedings of the 45th annual southeast regional conference
Dynamic updates: another middleware service?
MAI '07 Proceedings of the 1st workshop on Middleware-application interaction: in conjunction with Euro-Sys 2007
Config: a case study in combining software engineering techniques
Scientific Programming
Individual-based simulation of the clustering behaviour of epidermal growth factor receptors
Scientific Programming
Automated compositional proofs for real-time systems
Theoretical Computer Science
Observational purity and encapsulation
Theoretical Computer Science
Trust-By-Contract: Modelling, Analysing And Predicting Behaviour Of Software Architectures
Journal of Integrated Design & Process Science
Practical software reuse for IBM System z I/O subsystems
IBM Journal of Research and Development
Metamodel-based model conformance and multiview consistency checking
ACM Transactions on Software Engineering and Methodology (TOSEM)
Applying ontology in architecture-based self-management applications
Proceedings of the 2007 ACM symposium on Applied computing
Context-aware feature-oriented modeling with an aspect extension of VDM
Proceedings of the 2007 ACM symposium on Applied computing
A framework for the static verification of api calls
Journal of Systems and Software
Extending a Component Specification Language with Time
Electronic Notes in Theoretical Computer Science (ENTCS)
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
Information Hiding and Visibility in Interface Specifications
ICSE '07 Proceedings of the 29th international conference on Software Engineering
The design of a cryptographic security architecture
SSYM'99 Proceedings of the 8th conference on USENIX Security Symposium - Volume 8
System Prototype and Verification Using Metamodel-Based Transformations
IEEE Distributed Systems Online
Advanced Topics In Workflow Management: Issues, Requirements, And Solutions
Journal of Integrated Design & Process Science
Promoting extension and reuse in a spoken dialog manager: An evaluation of the queen's communicator
ACM Transactions on Speech and Language Processing (TSLP)
Propositional Logic Constraint Patterns and Their Use in UML-Based Conceptual Modeling and Analysis
IEEE Transactions on Knowledge and Data Engineering
Service oriented architectures: approaches, technologies and research issues
The VLDB Journal — The International Journal on Very Large Data Bases
MCI-java: a modified java virtual machine approach to multiple code inheritance
VM'04 Proceedings of the 3rd conference on Virtual Machine Research And Technology Symposium - Volume 3
Filters as a language support for design patterns in object-oriented scripting languages
COOTS'99 Proceedings of the 5th conference on USENIX Conference on Object-Oriented Technologies & Systems - Volume 5
ACoM '07 Proceedings of the First International Workshop on Assessment of Contemporary Modularization Techniques
Experimental assessment of random testing for object-oriented software
Proceedings of the 2007 international symposium on Software testing and analysis
Dynamic measurement of polymorphism
ACSC '07 Proceedings of the thirtieth Australasian conference on Computer science - Volume 62
Using CafeOBJ to Mechanise Refactoring Proofs and Application
Electronic Notes in Theoretical Computer Science (ENTCS)
Virtual Processors: Migrating object-clusters unify concurrency and distribution
Integrated Computer-Aided Engineering
The B Method And The Component-Based Approach
Journal of Integrated Design & Process Science
Electronic Notes in Theoretical Computer Science (ENTCS)
Mechanisms for improved covariant type-checking
Computer Languages, Systems and Structures
Designing software components to tolerances
ACM SIGSOFT Software Engineering Notes
Journal of Systems and Software
Model transformation in the large
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Instructional design of a programming course: a learning theoretic approach
Proceedings of the third international workshop on Computing education research
Modelling software development methodologies: A conceptual foundation
Journal of Systems and Software
Rule-based modularization in model transformation languages illustrated with ATL
Science of Computer Programming
A software metric for coherence of class roles in Java programs
Proceedings of the 5th international symposium on Principles and practice of programming in Java
Object-oriented description of graph data structures
Programming and Computing Software
User-changeable visibility: resolving unanticipated name clashes in traits
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Can programming be liberated from the two-level style: multi-level programming with deepjava
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Mop: an efficient and generic runtime verification framework
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Rule-based modularization in model transformation languages illustrated with ATL
Science of Computer Programming
Power-Laws in a Large Object-Oriented Software System
IEEE Transactions on Software Engineering
A framework and tool supports for testing modularity of software design
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Process-centered review of object oriented software development methodologies
ACM Computing Surveys (CSUR)
Rigorous engineering of product-line requirements: A case study in failure management
Information and Software Technology
Enhancing modular OO verification with separation logic
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
External views on class cohesion
CompSysTech '07 Proceedings of the 2007 international conference on Computer systems and technologies
Computer Methods and Programs in Biomedicine
Domain-specific Semantics and Data Refinement of Object Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Invariants for Non-Hierarchical Object Structures
Electronic Notes in Theoretical Computer Science (ENTCS)
DSD-Crasher: A hybrid analysis tool for bug finding
ACM Transactions on Software Engineering and Methodology (TOSEM)
PoDIM: a language for high-level configuration management
LISA'07 Proceedings of the 21st conference on Large Installation System Administration Conference
Software engineering team studios
Journal of Computing Sciences in Colleges
Hot spots, patterns, and contracts: an exploration of software framework design
Journal of Computing Sciences in Colleges
Reasoning about aspects with common sense
Proceedings of the 7th international conference on Aspect-oriented software development
On the refinement of web application systems from upper-stream models to program models
SEPADS'07 Proceedings of the 6th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
IOM/T: interaction-oriented model by textual notation
International Journal of Agent-Oriented Software Engineering
On the modularity assessment of aspect-oriented multiagent architectures: a quantitative study
International Journal of Agent-Oriented Software Engineering
A survey of patterns for Service-Oriented Architectures
International Journal of Internet Protocol Technology
Process-oriented abstraction of the complex evolvable systems: problem model construction
ACM SIGSOFT Software Engineering Notes
Prototyping System Requirements Model
Electronic Notes in Theoretical Computer Science (ENTCS)
ARTOO: adaptive random testing for object-oriented software
Proceedings of the 30th international conference on Software engineering
ICCOMP'05 Proceedings of the 9th WSEAS International Conference on Computers
Relating problem oriented engineering to current development processes: a research agenda
Proceedings of the 3rd international workshop on Applications and advances of problem frames
A compositional framework for the specification of interaction protocols in multiagent organizations
Web Intelligence and Agent Systems
Knowledge reuse for software reuse
Web Intelligence and Agent Systems
Autonomous Agents and Multi-Agent Systems
A work product pool approach to methodology specification and enactment
Journal of Systems and Software
A comparison of object-oriented languages in software engineering
ACM SIGSOFT Software Engineering Notes
Perfect hashing as an almost perfect subtype test
ACM Transactions on Programming Languages and Systems (TOPLAS)
Extracting updating aspects from version differences
Proceedings of the 2008 AOSD workshop on Linking aspect technology and evolution
Contracts for aspect-oriented design
Proceedings of the 2008 AOSD workshop on Software engineering properties of languages and aspect technologies
Generating CAM aspect-oriented architectures using Model-Driven Development
Information and Software Technology
Derivation of program models for web application systems using meta-models
SEPADS'08 Proceedings of the 7th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
Reasoning about Object Structures Using Ownership
Verified Software: Theories, Tools, Experiments
Verified Software: Theories, Tools, Experiments
Eiffel as a Framework for Verification
Verified Software: Theories, Tools, Experiments
Automatic Testing of Object-Oriented Software
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
ICESS '07 Proceedings of the 3rd international conference on Embedded Software and Systems
An Experimental Evaluation of Documentation Methods and Reusability
ICSR '08 Proceedings of the 10th international conference on Software Reuse: High Confidence Software Reuse in Large Systems
Extracting Object Interactions Out of Software Contracts Using Model Transformations
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Accurate Numerical Computation of Rovibrational G Matrices in Molecules of Arbitrary Size
ICCSA '08 Proceeding sof the international conference on Computational Science and Its Applications, Part I
The Challenges of Service Evolution
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Drawing Preconditions of Operation Contracts from Conceptual Schemas
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Modelling with Relational Calculus of Object and Component Systems - rCOS
The Common Component Modeling Example
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
The visitor pattern as a reusable, generic, type-safe component
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Dynamic analysis of Ada programs for comprehension and quality measurement
Proceedings of the 2008 ACM annual international conference on SIGAda annual international conference
An object-oriented operation-based approach to translation between MOF metaschemas
Data & Knowledge Engineering
Analyzing clusters of class characteristics in OO applications
Journal of Systems and Software
A journey to highly dynamic, self-adaptive service-based applications
Automated Software Engineering
Do we have moral duties towards information objects?
Ethics and Information Technology
Towards a Systematic Method for Identifying Business Components
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Class invariants as abstract interpretation of trace semantics
Computer Languages, Systems and Structures
A Lightweight Container Architecture for Runtime Verification
Runtime Verification
On Mechanisms for Deadlock Avoidance in SIP Servlet Containers
Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks
Thread Safety through Partitions and Effect Agreements
Languages and Compilers for Parallel Computing
Exception handling refactorings: Directed by goals and driven by bug fixing
Journal of Systems and Software
A Constraint Logic Programming Approach to Automated Testing
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities
VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation
Service-Oriented Architectures Testing: A Survey
Software Engineering
Incremental Reasoning for Multiple Inheritance
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
The PIAM approach to modular integrated assessment modelling
Environmental Modelling & Software
The hidden injuries of overloading 'ADT'
Proceedings of the 40th ACM technical symposium on Computer science education
GRID '07 Proceedings of the 8th IEEE/ACM International Conference on Grid Computing
Specification and Verification of Invariants by Exploiting Layers in OO Designs
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Introducing API design principles in CS2
Journal of Computing Sciences in Colleges
Conceptual simulation modeling: the structure of domain specific simulation environment
Proceedings of the 40th Conference on Winter Simulation
Client-based cohesion metrics for Java programs
Science of Computer Programming
Contract Specification in Java: Classification, Characterization, and a New Marker Method
IEICE - Transactions on Information and Systems
Tools and experiments supporting a testing-based theory of component composition
ACM Transactions on Software Engineering and Methodology (TOSEM)
Algebraic specification techniques for parametric types with logic-based constraints
Proceedings of the 2009 ACM symposium on Applied Computing
Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction
Methods, Models and Tools for Fault Tolerance
From Access Control Policies to an Aspect-Based Infrastructure: A Metamodel-Based Approach
Models in Software Engineering
Improving API documentation usability with knowledge pushing
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Specification and Runtime Verification of Java Card Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Synchronization as a Special Case of Access Control
Electronic Notes in Theoretical Computer Science (ENTCS)
Bridging the gap: Discrete-Event Systems for software engineering (short position paper)
C3S2E '09 Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering
Interfaces of active objects with internal concurrency
Proceedings of the 1st International Workshop on Distributed Objects for the 21st Century
Academic Software Development Tools and Techniques
Object-Oriented Technology. ECOOP 2008 Workshop Reader
ICCS 2009 Proceedings of the 9th International Conference on Computational Science
Deadlock freedom through object ownership
International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming
Revision classes for explicit versioning
Proceedings of the Workshop on AOP and Meta-Data for Software Evolution
A Representation-Theoretical Analysis of the OMG Modelling Suite
Proceedings of the 2005 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fourth SoMeT_W05
Towards Software Development Methodology for Web Services
Proceedings of the 2005 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fourth SoMeT_W05
Software service engineering: Tenets and challenges
PESOS '09 Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems
Detecting Defects in Object Oriented Designs Using Design Metrics
Proceedings of the 2006 conference on Knowledge-Based Software Engineering: Proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering
FOOD: An Intermediate Model for Automated Refactoring
Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06
On Agility of Formal Specification
Proceedings of the 2007 conference on Information Modelling and Knowledge Bases XVIII
Software development under bounded rationality and opportunism
SDG '09 Proceedings of the 2009 ICSE Workshop on Software Development Governance
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
Unit Testing of Software Components with Inter-component Dependencies
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
Computational Agents to Model Knowledge - Theory, and Practice in Visual Surveillance
IWINAC '09 Proceedings of the 3rd International Work-Conference on The Interplay Between Natural and Artificial Computation: Part I: Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira's Scientific Legacy
Computer aided software design via inference and constraint propagation
Integrated Computer-Aided Engineering - Selected papers from the IEEE Conference on Information Reuse and Integration (IRI), July 13-15, 2008
Three approaches to object evolution
PPPJ '09 Proceedings of the 7th International Conference on Principles and Practice of Programming in Java
A natural, tiered and executable UIDL for 3D user interfaces based on Concept-Oriented Design
ACM Transactions on Computer-Human Interaction (TOCHI)
From Public to Private to Absent: Refactoring Java Programs under Constrained Accessibility
Genoa Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming
Are We Ready for a Safer Construction Environment?
Genoa Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming
BAS: A Case Study for Modeling and Verification in Trustable Model Driven Development
Electronic Notes in Theoretical Computer Science (ENTCS)
An extensible model library for generating wind speed data
Computers and Electronics in Agriculture
Object oriented program correctness with OOSimL
Journal of Computing Sciences in Colleges
Method assumptions in object-oriented programming
Journal of Computing Sciences in Colleges
The essence of object orientation for CS0: concepts without code
Journal of Computing Sciences in Colleges
Représentations écologiques de données temporelles: exemples et apports
Proceedings of the 21st International Conference on Association Francophone d'Interaction Homme-Machine
CZ: multiple inheritance without diamonds
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Empirical assessment of object-oriented implementations with multiple inheritance and static typing
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Designing a product family of meshing tools
Advances in Engineering Software
A minimalist approach to objects
Computer Languages, Systems and Structures
Verifying a Class: combining Testing and Proving
Fundamenta Informaticae
Extending object-oriented languages with backward error recovery integrated support
Computer Languages, Systems and Structures
Improving the testability of object oriented software through software contracts
ACM SIGSOFT Software Engineering Notes
Reusing legacy FORTRAN in the MOTTI growth and yield simulator
Computers and Electronics in Agriculture
Balancing flexibility and performance in three dimensional meshing tools
Advances in Engineering Software
Teaching Formal Methods for the Unconquered Territory
TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
Teaching Program Specification and Verification Using JML and ESC/Java2
TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
Practically Applicable Formal Methods
SOFSEM '10 Proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science
Thoughts on Requirements and Design Issues of User Interfaces for Proof Assistants
Electronic Notes in Theoretical Computer Science (ENTCS)
Deductive Runtime Certification
Electronic Notes in Theoretical Computer Science (ENTCS)
Semantics of OCL Operation Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Refactoring Towards a Layered Architecture
Electronic Notes in Theoretical Computer Science (ENTCS)
DPVK - An Eclipse Plug-in to Detect Design Patterns in Eiffel Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Multi-paradigm Models as Source for Automated Test Construction
Electronic Notes in Theoretical Computer Science (ENTCS)
Abstract Interpretation and Object-oriented Programming: Quo Vadis?
Electronic Notes in Theoretical Computer Science (ENTCS)
Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards Contract-based Testing of Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Short communication: A software component for estimating solar radiation
Environmental Modelling & Software
Expert Systems with Applications: An International Journal
Modular reasoning about invariants over shared state with interposed data members
Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification
Automatic implementation of constraints in component based applications
Information and Software Technology
Method redefinition---ensuring alternative behaviors
Information Processing Letters
Reusable and flexible design of communication gateways
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
A generative theory of shape
Icon systems for object-oriented system design
Journal of Visual Languages and Computing
Formal design and implementation of constraints in software components
Advances in Engineering Software
Deferred cancellation: a behavioral pattern
Proceedings of the 15th Conference on Pattern Languages of Programs
A framework for proving contract-equipped classes
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
A discussion of two major benefits of using agents in software evelopment
ESAW'02 Proceedings of the 3rd international conference on Engineering societies in the agents world III
A behavioural notion of subtyping for object-oriented programming in SPARK95
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
Tonto: a fortran based object-oriented system for quantum chemistry and crystallography
ICCS'03 Proceedings of the 2003 international conference on Computational science
Derivation rules in object-oriented conceptual modeling languages
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Pro-active monitoring of electronic contracts
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
ProMAS'06 Proceedings of the 4th international conference on Programming multi-agent systems
A tool architecture to verify properties of multiagent system at runtime
ProMAS'06 Proceedings of the 4th international conference on Programming multi-agent systems
Preliminary design of BML: a behavioral interface specification language for java bytecode
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Object orientation without extending Z
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Towards practical proofs of class correctness
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Pipa: a behavioral interface specification language for aspectJ
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
VMCAI'07 Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation
Let's modularize the data model specifications of the ObjectLens in VisualWorks/Smalltalk
ISC'06 Proceedings of the 14th international conference on Advances in smalltalk
XP'03 Proceedings of the 4th international conference on Extreme programming and agile processes in software engineering
Unit testing using design by contract and equivalence partitions
XP'03 Proceedings of the 4th international conference on Extreme programming and agile processes in software engineering
The verifying compiler: a grand challenge for computing research
CC'03 Proceedings of the 12th international conference on Compiler construction
An event based approach to web service design and interaction
APWeb'03 Proceedings of the 5th Asia-Pacific web conference on Web technologies and applications
A comparison of the business object notation and the unified modeling language
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Modeling dynamic software components in UML
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Closing the gap between object-oriented modeling of structure and behavior
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Types and modularity for implicit invocation with implicit announcement
ACM Transactions on Software Engineering and Methodology (TOSEM)
Performance-driven interface contract enforcement for scientific components
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
Prospect: a compiler framework for speculative parallelization
Proceedings of the 8th annual IEEE/ACM international symposium on Code generation and optimization
Evolutionary testing of object-oriented software
Proceedings of the 2010 ACM Symposium on Applied Computing
Proceedings of the 2010 ACM Symposium on Applied Computing
Checking concurrent contracts with aspects
Proceedings of the 2010 ACM Symposium on Applied Computing
Combining static and dynamic reasoning for bug detection
TAP'07 Proceedings of the 1st international conference on Tests and proofs
Testing and verifying invariant based programs in the SOCOS environment
TAP'07 Proceedings of the 1st international conference on Tests and proofs
Using contracts and Boolean queries to improve the quality of automatic test generation
TAP'07 Proceedings of the 1st international conference on Tests and proofs
Managing concern interactions in middleware
DAIS'07 Proceedings of the 7th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
Stepwise development of simulink models using the refinement calculus framework
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Revealing the X/O impedance mismatch: changing lead into gold
SSDGP'06 Proceedings of the 2006 international conference on Datatype-generic programming
From declarative to imperative UML/OCL operation specifications
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Debugging aspect-enabled programs
SC'07 Proceedings of the 6th international conference on Software composition
Garbage collection in object oriented condensed graphs
PPAM'07 Proceedings of the 7th international conference on Parallel processing and applied mathematics
Implementing norms that govern non-dialogical actions
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
Formal methods and hybrid real-time systems
Taming agents and objects in software engineering
Software engineering for large-scale multi-agent systems
A framework for the semantics of behavioral contracts
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
Views on behaviour protocols and their semantic foundation
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Towards a pan-European learning resource exchange infrastructure
NGITS'09 Proceedings of the 7th international conference on Next generation information technologies and systems
Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies
Electronic Notes in Theoretical Computer Science (ENTCS)
A Boolean Algebra of Contracts for Assume-guarantee Reasoning
Electronic Notes in Theoretical Computer Science (ENTCS)
Software, Data and Modelling News: A software component to compute agro-meteorological indicators
Environmental Modelling & Software
Automated fixing of programs with contracts
Proceedings of the 19th international symposium on Software testing and analysis
A prototypical Java-like language with records and traits
Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java
A replicated and refined empirical study of the use of friends in C++ software
Journal of Systems and Software
QoS-enabled and self-adaptive connectors for Web Services composition and coordination
Computer Languages, Systems and Structures
What can the GC compute efficiently?: a language for heap assertions at GC time
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Specifying reusable components
VSTTE'10 Proceedings of the Third international conference on Verified software: theories, tools, experiments
A framework for efficient contract-based testing of software components
COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference
Components meet aspects: Assessing design stability of a software product line
Information and Software Technology
Contract-driven testing of javascript code
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
Library unit development fundamentals
Proceedings of the 48th Annual Southeast Regional Conference
Implementing statically typed object-oriented programming languages
ACM Computing Surveys (CSUR)
What's decidable about sequences?
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
AutoPA: automatic prototyping from requirements
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Run-time verification of networked software
RV'10 Proceedings of the First international conference on Runtime verification
Programmable verifiers in imperative programming
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
A modular scheme for deadlock prevention in an object-oriented programming model
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
A quality model for conceptual models of MDD environments
Advances in Software Engineering - Special issue on new generation of software metrics
FoVeOOS'10 Proceedings of the 2010 international conference on Formal verification of object-oriented software
Lower complexity bounds for interpolation algorithms
Journal of Complexity
Metamodeling semantics of multiple inheritance
Science of Computer Programming
Aspect-based dynamic software updating: a model and its empirical evaluation
Proceedings of the tenth international conference on Aspect-oriented software development
An experimental assessment of module documentation-based testing
Information and Software Technology
Improving trainer decisions into a CVE for training applying ZPD concept
MIV'05 Proceedings of the 5th WSEAS international conference on Multimedia, internet & video technologies
A pattern-based verification approach for a multi-core system development
Proceedings of the 2011 ACM Symposium on Applied Computing
Software security aspects of Java-based mobile phones
Proceedings of the 2011 ACM Symposium on Applied Computing
Inferring loop invariants using postconditions
Fields of logic and computation
Proceedings of the 33rd International Conference on Software Engineering
Runtime verification for generic classes with CONGU2
SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications
Retrofitting unit tests for parameterized unit testing
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Simple metric for assessing quality of service design
ICSOC'10 Proceedings of the 2010 international conference on Service-oriented computing
Incremental reasoning with lazy behavioral subtyping for multiple inheritance
Science of Computer Programming
Parsed use case descriptions as a basis for object-oriented class model generation
Journal of Systems and Software
FAVIHC - framework de avaliação da interação Humano Computador, estudo de caso na televisão digital
Proceedings of the IX Symposium on Human Factors in Computing Systems
Systematic simplicity-accuracy tradeoffs in parameterised contract models
Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS
Benchmarking library and application software with Data Envelopment Analysis
Software Quality Control
A transformation contract to generate aspects from access control policies
Software and Systems Modeling (SoSyM)
Lazy and enforceable assertions for functional logic programs
WFLP'10 Proceedings of the 19th international conference on Functional and constraint logic programming
Partiality, state and dependent types
TLCA'11 Proceedings of the 10th international conference on Typed lambda calculi and applications
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
Reducing the number of unit tests with design by contract
Proceedings of the 12th International Conference on Computer Systems and Technologies
Developing service oriented architectures for increasing software application's reliability
Proceedings of the 12th International Conference on Computer Systems and Technologies
A refactoring constraint language and its application to eiffel
Proceedings of the 25th European conference on Object-oriented programming
Verifying multi-object invariants with relationships
Proceedings of the 25th European conference on Object-oriented programming
Pre-post notation is questionable in effectively specifying operations of object-oriented systems
Frontiers of Computer Science in China
Resource allocation contracts for open analytic runtime models
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Separating ownership topology and encapsulation with generic universe types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Contract-based verification of simulink models
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
Spy: A flexible code profiling framework
Computer Languages, Systems and Structures
MASPEGHI 2004 mechanisms for specialization, generalization and inheritance
ECOOP'04 Proceedings of the 2004 international conference on Object-Oriented Technology
Specification of invariability in OCL
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Identifying thresholds for object-oriented software metrics
Journal of Systems and Software
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
Using stepwise feature introduction in practice: an experience report
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
Dynamic imperative languages for runtime extensible semantics and polymorphic meta-programming
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
Can aspects implement contracts?
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
Allowing state changes in specifications
ETRICS'06 Proceedings of the 2006 international conference on Emerging Trends in Information and Communication Security
A low-footprint java-to-native compilation scheme using formal methods
CARDIS'06 Proceedings of the 7th IFIP WG 8.8/11.2 international conference on Smart Card Research and Advanced Applications
Towards dynamically communicating abstract machines in the b method
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
An ontology support for semantic aware agents
AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III
A model-oriented framework for runtime monitoring of nonfunctional properties
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
Assertion-based encapsulation, object invariants and simulations
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
A dynamic binding strategy for multiple inheritance and asynchronously communicating objects
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
JML’s rich, inherited specifications for behavioral subtypes
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Checking the conformance of java classes against algebraic specifications
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Internal and external token-based synchronization in object-oriented languages
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
A description method of ontology change management using pi-calculus
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Exceptions in java and eiffel: two extremes in exception design and application
Advanced Topics in Exception Handling Techniques
A test case refactoring approach for pattern-based software development
Software Quality Control
Modular verification of static class invariants
FM'05 Proceedings of the 2005 international conference on Formal Methods
Decoupling in object orientation
FM'05 Proceedings of the 2005 international conference on Formal Methods
Symbolic animation of JML specifications
FM'05 Proceedings of the 2005 international conference on Formal Methods
A methodology for writing class contracts
SOFSEM'05 Proceedings of the 31st international conference on Theory and Practice of Computer Science
Overview of generative software development
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
An observer/controller architecture for adaptive reconfigurable stacks
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
Observational purity and encapsulation
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
Embedded Systems Design
Formal methods for smartcard security
Foundations of Security Analysis and Design III
Review: adaptive organizational changes in agent-oriented methodologies
The Knowledge Engineering Review
Java-MOP: a monitoring oriented programming environment for java
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
JCML: A specification language for the runtime verification of Java Card programs
Science of Computer Programming
An extended type system for OCL supporting templates and transformations
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Attached types and their application to three open problems of object-oriented programming
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
State based ownership, reentrance, and encapsulation
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Extending JML for modular specification and verification of multi-threaded programs
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Designing application domain models with roles
MDAFA'03 Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications
Semantic hierarchy refactoring by abstract interpretation
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
Generating a prototype from a UML model of system requirements
ICDCIT'04 Proceedings of the First international conference on Distributed Computing and Internet Technology
Software development and experimentation in an academic environment: the Gaudi experience
PROFES'05 Proceedings of the 6th international conference on Product Focused Software Process Improvement
Privacy-sensitive information flow with JML
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
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
Abstract interpretation-based verification of non-functional requirements
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Checking JML specifications with b machines
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
A component-oriented model for the design of safe multi-threaded applications
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Practical approach to specification and conformance testing of distributed network applications
ISAS'05 Proceedings of the Second international conference on Service Availability
Shadow programming: reasoning about programs using lexical join point information
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Taming complexity in large-scale system projects
Proceedings of the 43rd ACM technical symposium on Computer Science Education
Verification of object-oriented programs: A transformational approach
Journal of Computer and System Sciences
Decoupling context: introducing quantification in object teams
Proceedings of the 2012 workshop on Modularity in Systems Software
Proceedings of the 11th annual international conference on Aspect-oriented Software Development
Improving composition support with lightweight metadata-based extensions of component models
SC'05 Proceedings of the 4th international conference on Software Composition
Designing a domain-specific contract language: a metamodelling approach
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Static type analysis of pattern matching by abstract interpretation
FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Automated boundary test generation from JML specifications
FM'06 Proceedings of the 14th international conference on Formal Methods
Talents: dynamically composable units of reuse
Proceedings of the International Workshop on Smalltalk Technologies
Specification of role-based interactions components in multi-agent systems
Software Engineering for Multi-Agent Systems III
Dependable Systems
Dependable Systems
Definition and correct refinement of operation specifications
Dependable Systems
Assessing real-time component contracts through built-in evolutionary testing
Component-Based Software Development for Embedded Systems
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
An iterative requirements engineering framework based on Formal Concept Analysis and C-K theory
Expert Systems with Applications: An International Journal
Defining “predictable assembly”
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
On the evolution of OCL for capturing structural constraints in modelling languages
Rigorous Methods for Software Construction and Analysis
Shakeins: nonintrusive aspects for middleware frameworks
Transactions on Aspect-Oriented Software Development II
Revising the UML collaborations: a well-founded approach
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
MIG'11 Proceedings of the 4th international conference on Motion in Games
Reusability analysis of four standard object-oriented class libraries
SERA'04 Proceedings of the Second international conference on Software Engineering Research, Management and Applications
Agile formal method engineering
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Verified workflow-based software development for infrastructure sensing and control applications
Proceedings of the Seventh Annual Workshop on Cyber Security and Information Intelligence Research
Extending the capability concept for flexible BDI agent modularization
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Making specifications complete through models
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Towards an engineering approach to component adaptation
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Cost analysis of concurrent OO programs
APLAS'11 Proceedings of the 9th Asian conference on Programming Languages and Systems
Empirical Software Engineering and Verification
Type systems directed programming language evolution: overview and research trends
Proceedings of the 50th Annual Southeast Regional Conference
Contracts and specifications for functional logic programming
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
Symbolic execution of concurrent objects in CLP
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
Monitoring method call sequences using annotations
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Modular termination analysis of java bytecode and its application to phoneME core libraries
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Code-based automated program fixing
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
SP 800-142. Practical Combinatorial Testing
SP 800-142. Practical Combinatorial Testing
Statecharts as protocols for objects
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Verifying invariant based programs in the SOCOS environment
TFM'06 Proceedings of the 2006 conference on Teaching Formal Methods: practice and experience
A testing strategy for abstract classes
Software Testing, Verification & Reliability
Using constraints in teaching software modeling
MODELS'11 Proceedings of the 2011th international conference on Models in Software Engineering
Simulating multiple inheritance and generics in Java
Computer Languages
A model-based approach to automated testing of access control policies
Proceedings of the 17th ACM symposium on Access Control Models and Technologies
An approach to test-driven development of conceptual schemas
Data & Knowledge Engineering
Formally based modeling and inheritance of behaviour in object-oriented systems
Journal of Systems and Software
Coupling hypertext to an object-oriented environment
Artificial Intelligence in Medicine
Verifying backwards compatibility of object-oriented libraries using Boogie
Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs
Error handling in Fortran 2003
ACM SIGPLAN Fortran Forum
Expression Templates Revisited: A Performance Analysis of Current Methodologies
SIAM Journal on Scientific Computing
Performance analysis of SCOOP programs
Journal of Systems and Software
High-performance language interoperability for scientific computing through Babel
International Journal of High Performance Computing Applications
Verifying a Class: combining Testing and Proving
Fundamenta Informaticae
Specification and Verification of Invariants by Exploiting Layers in OO Designs
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Processors and their collection
MSEPT'12 Proceedings of the 2012 international conference on Multicore Software Engineering, Performance, and Tools
A Set-Theoretic Framework for Component Composition
Fundamenta Informaticae
Electronic Notes in Theoretical Computer Science (ENTCS)
Validity invariants and effects
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
A relational model of object collaborations and its use in reasoning about relationships
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
A higher abstraction level using first-class inheritance relations
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
International Journal of Computer Applications in Technology
The quest for runware: on compositional, executable and intuitive models
Software and Systems Modeling (SoSyM)
Usage and testability of AOP: An empirical study of AspectJ
Information and Software Technology
Compositionality and refinement in model-driven engineering
SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications
Verification rules for exception handling in eiffel
SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications
Frama-C: a software analysis perspective
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Software Engineering and complexity in effective Algebraic Geometry
Journal of Complexity
Application note: A multi-approach software library for estimating crop suitability to environment
Computers and Electronics in Agriculture
Specialization in i* strategic rationale diagrams
ER'12 Proceedings of the 31st international conference on Conceptual Modeling
Specialization in i* strategic rationale diagrams
ER'12 Proceedings of the 31st international conference on Conceptual Modeling
Demonic testing of concurrent programs
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Automatic generation of test models and properties from UML models with OCL constraints
Proceedings of the 12th Workshop on OCL and Textual Modelling
ACM SIGSOFT Software Engineering Notes
Design pattern-based extension of class hierarchies to support runtime invariant checks
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
TraitRecordJ: A programming language with traits and records
Science of Computer Programming
Correctness of intrusive data structures using mixins
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
What good are strong specifications?
Proceedings of the 2013 International Conference on Software Engineering
Second-order constraints in dynamic invariant inference
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Trading obliviousness for modularity with cooperative aspect-oriented programming
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
Pure trait-based programming on the Java platform
Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools
Loop invariants: Analysis, classification, and examples
ACM Computing Surveys (CSUR)
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
An object-oriented approach to language compositions for software language engineering
Journal of Systems and Software
Client-aware checking and information hiding in interface specifications with JML/ajmlc
Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity
Really automatic scalable object-oriented reengineering
ECOOP'13 Proceedings of the 27th European conference on Object-Oriented Programming
Concurrent object-oriented development with behavioral design patterns
ECSA'13 Proceedings of the 7th European conference on Software Architecture
Former les futurs concepteurs de systèmes homme-machine complexes
Proceedings of the 25ième conférence francophone on l'Interaction Homme-Machine
Notions of aliasing and ownership
Aliasing in Object-Oriented Programming
Object ownership in program verification
Aliasing in Object-Oriented Programming
State based encapsulation for modular reasoning about behavior-preserving refactorings
Aliasing in Object-Oriented Programming
Editorial: A complete set of guidelines for naming UML conceptual schema elements
Data & Knowledge Engineering
A game-based approach to the teaching of object-oriented programming languages
Computers & Education
A configurable use case modeling metamodel with superimposed variants
Innovations in Systems and Software Engineering
Taming distributed system complexity through formal patterns
Science of Computer Programming
What Sunday brunch can teach us about system design
Journal of Computing Sciences in Colleges
On the Validation of Invariants at Runtime
Fundamenta Informaticae
Hi-index | 0.32 |