- ZjsComponent: A Pragmatic Approach to Modular, Reusable UI Fragments for Web Development
2025/05/04 by Lelanthran Manickum, Manickum, Lelanthran · 10 voices
Computer Science · #Component (thermodynamics) #Component Object Model #Isolation (microbiology) #JavaScript #Mobile and Web Applications #Object (grammar) #Object-oriented programming #Rich Internet application #Simple (philosophy) #User interface #Web Applications and Data Management #Web Data Mining and Analysis #Web application
- Deriving Dependently-Typed OOP from First Principles
2024/03/11 by David Binder, David A. Binder, Ingo Skupin +2 · 2 voices · 2 citations
Computer Science · #Advanced Database Systems and Queries #Advanced Software Engineering Methodologies #Computer science #Exception handling #Logic, programming, and type systems #Object-oriented programming #Programming language
- Right and wrong: ten choices in language design
2022/11/29 by Bertrand Meyer, Meyer, Bertrand · 4 voices
Computer Science · #Art #Computer science #Criticism #Eiffel #Epistemology #Linguistics #Literature #Natural Language Processing Techniques #Object-oriented programming #Philosophy #Programming language #Quality (philosophy) #cs.PL
- Fourteen Years of Software Engineering at ETH Zurich
2017/12/14 by Bertrand Meyer, Meyer, Bertrand · 2 voices
Computer Science · Decision Sciences · Engineering · #Computer science #Eiffel #Engineering #Formal Methods in Verification #Logic, programming, and type systems #Mechanical engineering #Object-oriented programming #Programming language #Scientific Computing and Data Management #Software #Software engineering #Thread (computing) #cs.SE
- Veamy: an extensible object-oriented C++ library for the virtual element\n method
2017/08/11 by Alejandro Ortiz‐Bernardin, Ortiz-Bernardin, Alejandro, Catalina Álvarez +9 · 1 citation
Computer Science · Engineering · Mathematics · #Advanced Numerical Methods in Computational Mathematics #Artificial intelligence #Computational Geometry and Mesh Generation #Computer graphics (images) #Computer science #Element (criminal law) #Engineering #Engineering drawing #Extensibility #FOS: Computer and information sciences #FOS: Mathematics #Finite element method #Fluid Dynamics Simulations and Interactions #Generator (circuit theory) #Linguistics #Mathematical Software (cs.MS) #Mathematics #Modular design #Notation #Numerical Analysis (math.NA) #Object (grammar) #Object-oriented programming #Polygon mesh #Programming language #Software #Structural engineering #Terminology #Theoretical computer science
- A Modularity Bug in Java 8
2017/01/02 by Simon Kramer · 1 voice
Computer Science · #Computer science #Generics in Java #Interface (matter) #Java #Java annotation #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #Modular design #Modularity (biology) #Object-oriented programming #Operating system #Programming language #Real time Java #Scala #Software Engineering Research #Software engineering #cs.PL #cs.SE #strictfp
- Benchmarking in Manipulation Research: Using the Yale-CMU-Berkeley Object and Model Set
2015/02/10 by Berk Çallı, Berk Calli, Aaron Walsman +5 · 2 citations
Computer Science · Engineering · #Artificial intelligence #Benchmarking #Computer science #Manufacturing Process and Optimization #Object (grammar) #Object-oriented modeling #Object-oriented programming #Programming language #Robot Manipulation and Learning #Robotic Path Planning Algorithms #Set (abstract data type) #Software engineering #cs.RO
- PLUMED 2: New feathers for an old bird
2013/09/29 by Gareth A. Tribello, Massimiliano Bonomi, Davide Branduardi +2 · 140 citations
Biochemistry, Genetics and Molecular Biology · Chemistry · Materials Science · Physics and Astronomy · #Advanced NMR Techniques and Applications #Code (set theory) #Computer science #Field (mathematics) #Flexibility (engineering) #Implementation #Machine Learning in Materials Science #Modularity (biology) #Object-oriented programming #Programming language #Protein Structure and Dynamics #Sampling (signal processing) #Set (abstract data type) #Software #Source code #Telecommunications #Theoretical computer science #cond-mat.stat-mech #physics.bio-ph #physics.chem-ph #physics.comp-ph #q-bio.QM
- Automated Translation of Java Source Code to Eiffel
2011/01/01 by Marco Trudel, Manuel Oriol, Carlo A. Furia +2 · 1 citation
Computer Science · #Advanced Software Engineering Methodologies #Computer science #Eiffel #Generics in Java #Implementation #Interoperability #Java #Java Modeling Language #Java annotation #Logic, programming, and type systems #Object-oriented programming #Operating system #Programming language #Real time Java #Software Engineering Research #Software engineering #strictfp
- The C Object System: Using C as a High-Level Object-Oriented Language
2010/03/12 by Laurent Deniau, Deniau, Laurent · 2 voices · 1 citation
Computer Science · Social Sciences · #Advanced Software Engineering Methodologies #Artificial intelligence #Computer science #Model-Driven Software Engineering Techniques #Object (grammar) #Object-oriented programming #Programming language #Software Engineering and Design Patterns #cs.PL
- deal.II—A general-purpose object-oriented finite element library
2007/08/15 by Wolfgang Bangerth, W. Bangerth, R. Hartmann +3 · 37 citations
Engineering · #Abstract data type #Abstraction #Advanced Numerical Methods in Computational Mathematics #Artificial intelligence #Class (philosophy) #Computational Fluid Dynamics and Aerodynamics #Computational science #Computer science #Data structure #Electromagnetic Simulation and Numerical Methods #Finite element method #Generic programming #Implementation #Object-oriented programming #Programming language #Software #Theoretical computer science #Toolbox
- Exceptions in Java and Eiffel: Two Extremes in Exception Design and Application
2006/01/01 by Joseph R. Kiniry · 1 citation
Computer Science · #Computer science #Eiffel #Feature (linguistics) #Formal Methods in Verification #Java #Linguistics #Logic, programming, and type systems #Object-oriented programming #Programming language #Semantics (computer science) #Set (abstract data type) #Software Engineering Research
- Object-oriented software for quadratic programming
2003/03/01 by E. Michael Gertz, Stephen J. Wright · 7 citations
Computer Science · Engineering · Mathematics · #Advanced Control Systems Optimization #Advanced Multi-Objective Optimization Algorithms #Advanced Optimization Algorithms Research #Algorithm #Artificial intelligence #Computer science #Implementation #Interior point method #Linear algebra #Linear programming #Mathematical optimization #Mathematics #Object (grammar) #Object-oriented programming #Programming language #Quadratic programming #Software #Theoretical computer science
- Dimensions of Precision in Reference Analysis of Object-Oriented Programming Languages
2003/01/01 by Barbara G. Ryder · 1 citation
Computer Science · #Artificial intelligence #Computer science #Context (archaeology) #Logic, programming, and type systems #Object (grammar) #Object-oriented programming #Programming language #Software Engineering Research #Software Testing and Debugging Techniques #Taxonomy (biology)
- Copying and Comparing: Problems and Solutions
2000/01/01 by Peter Grogono, Markku Sakkinen · 1 citation
Computer Science · #Advanced Software Engineering Methodologies #Artificial intelligence #Compiler #Computer science #Copying #Logic, programming, and type systems #Object (grammar) #Object-oriented programming #Programming language #Simple (philosophy) #Smalltalk #Software Engineering Research #Theoretical computer science
- Reengineering class hierarchies using concept analysis
1998/11/01 by Gregor Snelting, Frank Tip · 1 citation
Computer Science · Engineering · #Software Engineering Research #Web Applications and Data Management #Rough Sets and Fuzzy Logic #Class hierarchy #Hierarchy #Class (philosophy) #Computer science #Business process reengineering #Imperfect #Formal concept analysis #Theoretical computer science #Restructuring #Set (abstract data type) #Lattice (music) #Programming language #Artificial intelligence #Object-oriented programming #Engineering #Algorithm #Operations management
- Physical system modeling with Modelica
1998/04/01 by Sven Erik Mattsson, Hilding Elmqvist, Martin Otter · 3 citations
Computer Science · Decision Sciences · Engineering · Mathematics · #Computer science #Control engineering #Engineering #Modelica #Modeling and Simulation Systems #Modeling and simulation #Modeling language #Modeling, Simulation, and Optimization #Object-oriented programming #Programming language #Representation (politics) #Reuse #Simulation #Simulation Techniques and Applications #Software #Software engineering #Systems engineering #Systems modeling
- A validation of object-oriented design metrics as quality indicators
1996/10/01 by V.R. Basili, Victor R. Basili, L.C. Briand +3 · 20 citations
Computer Science · #Computer science #Data mining #Object-oriented programming #Programming language #Quality (philosophy) #Set (abstract data type) #Software #Software Engineering Research #Software Engineering Techniques and Practices #Software Reliability and Analysis Research #Software development #Software development process #Software engineering #Software metric #Software quality #Suite #Systems development life cycle
- Lua—An Extensible Extension Language
1996/06/01 by Roberto Ierusalimschy, Luiz Henrique de Figueiredo, Waldemar Celes Filho · 11 citations
Computer Science · #Advanced Database Systems and Queries #Advanced Software Engineering Methodologies #Artificial intelligence #Computer science #Data structure #Extensibility #Extension (predicate logic) #Inheritance (genetic algorithm) #Logic, programming, and type systems #Mechanism (biology) #Object (grammar) #Object-oriented programming #Programming language #Semantics (computer science) #Simple (philosophy)
- Applying 'design by contract'
1992/10/01 by B. Meyer, Bertrand Meyer · 62 citations
Computer Science · #Advanced Software Engineering Methodologies #Artificial intelligence #Computer science #Design by contract #Eiffel #Logic, programming, and type systems #Object (grammar) #Object-oriented design #Object-oriented programming #Programming language #Software #Software Engineering Research #Software construction #Software design #Software development #Software engineering
- Inheritance is not subtyping
1990/01/01 by William R. Cook, Walter L. Hill, Peter S. Canning · 3 citations
Computer Science · #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #Advanced Software Engineering Methodologies #Inheritance (genetic algorithm) #Subtyping #Multiple inheritance #Smalltalk #Computer science #Programming language #Relation (database) #Object-oriented programming #Genetics #Biology #Data mining
- Using prototypical objects to implement shared behavior in object-oriented systems
1986/06/01 by Henry Lieberman · 1 citation
Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Advanced Software Engineering Methodologies #Computer science #Inheritance (genetic algorithm) #Object (grammar) #Class (philosophy) #Delegation #Object-oriented programming #Programming language #ENCODE #Method #Human–computer interaction #Object-orientation #Artificial intelligence #Theoretical computer science
- On understanding types, data abstraction, and polymorphism
1985/12/10 by Luca Cardelli, Peter Wegner · 8 citations
Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Advanced Software Engineering Methodologies #Computer science #Programming language #Data type #Subtyping #Abstraction #Type safety #Type theory #Theoretical computer science #Inheritance (genetic algorithm) #Type inference #Multiple inheritance #Abstract data type #Type (biology) #Object-oriented programming #Artificial intelligence
- Efficient implementation of the smalltalk-80 system
1984/01/01 by L. Peter Deutsch, Allan M. Schiffman · 4 citations
Computer Science · #Algorithms and Data Compression #Parallel Computing and Optimization Techniques #Advanced Data Storage Technologies #Smalltalk #Computer science #Software portability #Programming language #Implementation #Object-oriented programming #Programming language implementation #Programming paradigm #Programming domain #Inductive programming
- Traits
1982/01/01 by Gael Curry, Larry Baer, Daniel Edward Lipkie +1 · 2 citations
Computer Science · #Software Engineering Research #Logic, programming, and type systems #Advanced Software Engineering Methodologies #Computer science #Workstation #Inheritance (genetic algorithm) #Object (grammar) #Software #Multiple inheritance #Simula #Set (abstract data type) #Trait #Programming language #Object-oriented programming #Theoretical computer science #Artificial intelligence #Operating system