subject area of
- A Monte Carlo Enhanced PSO Algorithm for Optimal QoM in Multi-Channel Wireless Networks Academic Article
- A Product-Focused Approach to Software Certification Academic Article
- A correctness proof for combinator reduction with cycles Academic Article
- A framed temporal logic programming language Academic Article
- A novel blind detector for additive noise steganography in JPEG decompressed images Academic Article
- A tutorial on metamodelling for grammar researchers Academic Article
- A user-assisted approach to component clustering Academic Article
- ACM Transactions on Graphics Journal
- ACM Transactions on Programming Languages and Systems Journal
- ACM Transactions on Software Engineering and Methodology Journal
- Abstract specification of resource accessing disciplines Academic Article
- Adaptive blind image watermarking using edge pixel concentration Academic Article
- Aerial image dehazing using a deep convolutional autoencoder Academic Article
- An adaptive LSB matching steganography based on octonary complexity measure Academic Article
- An algebra of product families Academic Article
- An efficient high payload ±1 data embedding scheme Academic Article
- An object model for dynamic mixins Academic Article
- Architecture description languages for high-integrity real-time systems Academic Article
- Automatic generation of UML profile graphical editors for Papyrus Academic Article
- BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning. Academic Article
- BlessMark: a blind diagnostically-lossless watermarking framework for medical applications based on deep neural networks Academic Article
- Bridging proprietary modelling and open-source model management tools: the case of PTC Integrity Modeller and Epsilon Academic Article
- Categorical semantics of parallel program design Conference Paper
- Channel Selection Algorithm Based on Gibbs Sampler for Optimal QoM in Multi-Channel Wireless Networks Academic Article
- Cloud/haze detection in airborne videos using a convolutional neural network Academic Article
- Color quantization by dynamic programming and principal analysis Academic Article
- Comparison of manual and automated marking of student programs Academic Article
- Computer Journal
- Computer Languages, Systems and Structures Computer Languages Journal
- Computers and Graphics Journal
- Computers in Entertainment Journal
- Concurrent Systems Engineering Series Journal
- Constraint programming for type inference in flexible model-driven engineering Conference Paper
- Contents for a Model-Based Software Engineering Body of Knowledge Academic Article
- DYNAMIC KNOWLEDGE EXTRACTION FROM SOFTWARE SYSTEMS USING SEQUENTIAL PATTERN MINING Academic Article
- Digital halftoning by iterative isotropic error feedback Academic Article
- Document-centric XML workflows with fragment digital signatures Academic Article
- Dynamite Academic Article
- E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel. Academic Article
- Efficient Analysis of DynAlloy Specifications Academic Article
- Empirical Software Engineering Journal
- Engineering model transformations with transML Academic Article
- Epsilon Flock: a model migration language Academic Article
- Eugenia: towards disciplined and automated development of GMF-based graphical model editors Academic Article
- Evolving models in Model-Driven Engineering: State-of-the-art and future challenges Academic Article
- Exceptions in Concurrent Eiffel. Academic Article
- Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages Academic Article
- Foreword to the special section on negative results in software engineering Academic Article
- Formal verification and validation of embedded systems: the UML-based MADES approach Academic Article
- Formal verification of function blocks applied to IEC 61131-3 Academic Article
- Foundations of the trace assertion method of module interface specification Academic Article
- Framed temporal logic programming Academic Article
- Framework for robust blind image watermarking based on classification of attacks Academic Article
- Future directions in program transformations Conference Paper
- Game Development using Design-by-Contract. Academic Article
- Gaussian Elimination: A case study in efficient genericity with MetaOCaml Conference Paper
- Genericity for model management operations Academic Article
- Grand challenges in model-driven engineering: an analysis of the state of the research Academic Article
- Guest editorial to the special issue on Success Stories in Model Driven Engineering Academic Article
- Guest editorial to the special issue on model transformation Academic Article
- Guest editorial to the special section on MODELS 2018 Academic Article
- Guest editorial to the theme issue on traceability in model-driven engineering Academic Article
- Handbook of Practical Logic and Automated Reasoning, by John Harrison, Cambridge University Press, 2009 ISBN 9780521899574 Academic Article
- Hierarchical watermarking framework based on analysis of local complexity variations Academic Article
- IDENTIFYING INHERITANCE STRUCTURE IN OBJECT-ORIENTED SYSTEMS-ANALYSIS - A PATTERN-MATCHING APPROACH Academic Article
- IEE Proceedings: Software IET Software Journal
- IEEE Software Journal
- IEEE Transactions on Software Engineering Journal
- Image retargeting using nonparametric semantic segmentation Academic Article
- Implementability of Requirements in the Four-Variable Model Academic Article
- Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods Academic Article
- Information and Software Technology Journal
- Inspection's role in software quality assurance Academic Article
- Integrating BON and Object-Z Academic Article
- Integrating BON and Object-Z. Academic Article
- Integration of sequential scenarios Conference Paper
- International Journal of Software Engineering and Knowledge Engineering Journal
- International Journal on Software Tools for Technology Transfer Software-Concepts and Tools Journal
- Iterative criteria-based approach to engineering the requirements of software development methodologies Academic Article
- JOOP - Journal of Object-Oriented Programming Journal
- Jisuanji Xuebao/Chinese Journal of Computers Journal
- Journal of Computer Science and Technology Journal
- Journal of Functional Programming Journal
- Journal of Object Technology Journal
- Journal of Software Maintenance and Evolution Journal of Software Maintenance Journal
- Journal of Systems and Software Journal
- Knowledge-Driven User Behavior Pattern Discovery for System Security Enhancement Academic Article
- Lazy Exploration and Checking of CSP Models with CSPsim Conference Paper
- Lessons learned from building model-driven development tools Academic Article
- Lies, Damned Lies and UML2Java. Academic Article
- Localized model transformations for building large-scale transformations Academic Article
- Locally Adaptive Rank-Constrained Optimal Tone Mapping Academic Article
- L∞-Constrained near-lossless image compression using weighted finite automata encoding Academic Article
- Message oriented programming—A resource based methodology Academic Article
- Metamodel-based model conformance and multiview consistency checking Academic Article
- Model-based tool support for Tactical Data Links: an experience report from the defence domain Academic Article
- Model-driven software development. By Thomas Stahl and Markus Volter. Published by John Wiley & Sons, New York, 2006. ISBN: 0470025700, 444 pages. Price £33.99. Soft Cover Academic Article
- Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code Academic Article
- Multimedia Systems Multimedia Tools and Applications Journal
- On a formal semantics of tabular expressions Academic Article
- PREDICTIVE TRACES IN HYBRID SYSTEMS Academic Article
- Partial evaluation of Maple Academic Article
- Predictive traces in hybrid systems Conference Paper
- Preface to the JOT special issue containing the ECMFA 2020 selected papers. Academic Article
- Principles for modeling language design Academic Article
- Program derivation by fixed point computation Academic Article
- Pyramidal modeling of geometric distortions for retargeted image quality evaluation Academic Article
- Reasoning about static and dynamic properties in alloy Academic Article
- Reversible computation vs. reversibility in Petri nets Academic Article
- Rigidity Driven Underwater Sensor Self-Organized Deployment Academic Article
- Rigorous identification and encoding of trace-links in model-driven engineering Academic Article
- Robust image watermarking scheme using bit-plane of hadamard coefficients Academic Article
- SECG: The SCOOP-to-Eiffel Code Generator. Academic Article
- SIGPLAN Notices (ACM Special Interest Group on Programming Languages) ACM SIGPLAN Notices Journal
- Sanctions raise fairness issues Academic Article
- Science of Computer Programming Journal
- Signature required: Making Simulink data flow and interfaces explicit Academic Article
- Simple and efficient motion estimation algorithm by continuum search Academic Article
- Software - Practice and Experience Journal
- Software Testing Verification and Reliability Journal
- Software and Systems Modeling Journal
- Software engineering practices and Simulink: bridging the gap Academic Article
- Software tools for safety-critical software development Academic Article
- Special Issue on the 6th and 7th International Conferences on Software Language Engineering (SLE 2013 and SLE 2014) Academic Article
- Step coverability algorithms for communicating systems Academic Article
- Stress-testing remote model querying APIs for relational and graph-based stores Conference Paper
- Study on localizability judgment in underwater sensor networks based on skeleton extraction and rigidity theory Academic Article
- Surveying Rule Inheritance in Model-to-Model Transformation Languages. Academic Article
- Surveying Rule Inheritance in Model-to-Model Transformation Languages. Academic Article
- Synchronization of concurrent processes without globality assumptions Academic Article
- Synchronizing events in replicated systems Academic Article
- TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds Academic Article
- The C programming language Academic Article
- The SCOOP concurrency model in java-like languages Conference Paper
- The Single Model Principle. Academic Article
- The logic of software design Academic Article
- The methodology of mining cognitive maps based on data resources Academic Article
- The role of inspection in software quality assurance Academic Article
- Toward Evidence-Based Software Engineering: Lessons Learned in Healthcare Application Development Academic Article
- Transformational design and implementation of a new efficient solution to the ready simulation problem Academic Article
- Type inference in flexible model-driven engineering using classification algorithms Academic Article
- Understanding Integrity Level Concepts Academic Article
- Update Transformations in the Small with the Epsilon Wizard Language. Conference Paper
- Uplink Scheduling for Supporting Real Time Voice Traffic in IEEE 802.16 Backhaul Networks Academic Article
- Use of symmetry in prediction-error field for lossless compression of 3D MRI images Academic Article
- Using a Microprocessor in a Walsh-Fourier Spectral Analyzer Academic Article
- Using a Social Educational Network to Facilitate Peer-Feedback for a Virtual Simulation Academic Article
- Using autonomous components to improve runtime qualities of software Academic Article
- Visual Computer Journal
- Visual coding by optimal graph-coloring Academic Article
- When are methods complementary? Academic Article
- XRound: A reversible template language and its application in model-based security analysis Academic Article