Software Engineering Concept

subject area of

• A Comparison of Tabular Expression-Based Testing Strategies  Journal Articles
• A Hitchhiker's Guide to Model-Driven Engineering for Data-Centric Systems  Journal Articles
• A Monte Carlo Enhanced PSO Algorithm for Optimal QoM in Multi-Channel Wireless Networks  Journal Articles
• A Product-Focused Approach to Software Certification  Journal Articles
• A common subgraph correspondence mining framework for map search services  Journal Articles
• A correctness proof for combinator reduction with cycles  Journal Articles
• A deep learning computer vision iPad application for Sales Rep optimization in the field  Journal Articles
• A distributed multidisciplinary design optimization framework: Technology integration  Journal Articles
• A fast algorithm of intra prediction modes pruning for HEVC based on decision trees and a new three-step search  Journal Articles
• A framed temporal logic programming language  Journal Articles
• A monadic framework for delimited continuations  Journal Articles
• A novel blind detector for additive noise steganography in JPEG decompressed images  Journal Articles
• A novel partial point cloud registration method based on graph attention network  Journal Articles
• A novel vision-based multi-task robotic grasp detection method for multi-object scenes  Journal Articles
• A parametric rate-distortion model for video transcoding  Journal Articles
• A proof-theoretic foundation of abortive continuations  Journal Articles
• A query-retyping approach to model transformation co-evolution  Journal Articles
• A rational design process: How and why to fake it  Journal Articles
• A reflection on call-by-value  Conferences
• A reflection on call-by-value  Conferences
• A survey on the design space of end-user-oriented languages for specifying robotic missions  Journal Articles
• A three-dimensional taxonomy for bidirectional model synchronization  Journal Articles
• A tutorial on metamodelling for grammar researchers  Journal Articles
• A type-theoretic foundation of continuations and prompts  Conferences
• A type-theoretic foundation of delimited continuations  Journal Articles
• A user‐assisted approach to component clustering  Journal Articles
• ACM Computers in Entertainment  Journal
• ACM SIGPLAN Notices  Journal
• ACM Transactions on Graphics  Journal
• ACM Transactions on Programming Languages and Systems  Journal
• ACM Transactions on Software Engineering and Methodology  Journal
• AN INTELLIGENT AGENT MOBILE EMISSIONS MODEL FOR URBAN ENVIRONMENTAL MANAGEMENT  Journal Articles
• AQUA: An Amphibious Autonomous Robot  Journal Articles
• Abstract specification of resource accessing disciplines  Journal Articles
• Abstract types defined as classes of variables  Journal Articles
• Active design reviews: Principles and practices  Journal Articles
• Adaptive blind image watermarking using edge pixel concentration  Journal Articles
• Aerial image dehazing using a deep convolutional autoencoder  Journal Articles
• Aesthetic-aware image retargeting based on foreground–background separation and PSO optimization  Journal Articles
• An adaptive LSB matching steganography based on octonary complexity measure  Journal Articles
• An algebra of product families  Journal Articles
• An efficient high payload ±1 data embedding scheme  Journal Articles
• An extended account of contract monitoring strategies as patterns of communication  Journal Articles
• An object model for dynamic mixins  Journal Articles
• Annals of Software Engineering  Journal
• Architecture description languages for high-integrity real-time systems  Journal Articles
• Automated Software Engineering  Journal
• Automated Software Engineering: Special Issue on Precise Semantics for Software Modeling Techniques  Books
• Automatic generation of UML profile graphical editors for Papyrus  Journal Articles
• BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning.  Journal Articles
• Backtracking, interleaving, and terminating monad transformers  Journal Articles
• Benchmarking bidirectional transformations: theory, implementation, application, and assessment  Journal Articles
• Blended modeling in commercial and open-source model-driven software engineering tools: A systematic study  Journal Articles
• BlessMark: a blind diagnostically-lossless watermarking framework for medical applications based on deep neural networks  Journal Articles
• Bridging proprietary modelling and open-source model management tools: the case of PTC Integrity Modeller and Epsilon  Journal Articles
• COLLABORATIVE AND PROACTIVE DATA AGENT FOR DISTRIBUTED DESIGN ENVIRONMENTS  Journal Articles
• COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN  Journal Articles
• CPS in little pieces: composing partial continuations  Journal Articles
• Categorical semantics of parallel program design  Conferences
• Channel Selection Algorithm Based on Gibbs Sampler for Optimal QoM in Multi-Channel Wireless Networks  Journal Articles
• Characterizing Black-box Composition Operators via Generated Tailored Benchmarks.  Journal Articles
• Circular systems engineering  Journal Articles
• Clafer: unifying class and feature modeling  Journal Articles
• Cloud/haze detection in airborne videos using a convolutional neural network  Journal Articles
• Code Cloning in Smart Contracts on the Ethereum Platform: An Extended Replication Study  Journal Articles
• Collaborative Model-Driven Software Engineering — A systematic survey of practices and needs in industry  Journal Articles
• Collaborative and proactive data agent for distributed design environments  Journal Articles
• Collaborative computing technologies and systems  Journal Articles
• Color quantization by dynamic programming and principal analysis  Journal Articles
• Combining Genetic Programming and Model Checking to Generate Environment Assumptions  Journal Articles
• Comparison of manual and automated marking of student programs  Journal Articles
• Completeness and Consistency of Tabular Requirements: An SMT-Based Verification Approach  Journal Articles
• Computer  Journal
• Computer Graphics Forum  Journal
• Computer Languages  Journal
• Computers & graphics  Journal
• Concern-oriented language development (COLD): Fostering reuse in language engineering  Journal Articles
• Concurrent Systems Engineering Series  Journal
• Constraint programming for type inference in flexible model-driven engineering  Conferences
• Contents for a Model-Based Software Engineering Body of Knowledge  Journal Articles
• Context-aware saliency detection for image retargeting using convolutional neural networks  Journal Articles
• Correction to “a rational design process: How and why to fake it”  Journal Articles
• Correction: Robust watermarking using diffusion of logo into auto-encoder feature maps  Journal Articles
• DYNAMIC KNOWLEDGE EXTRACTION FROM SOFTWARE SYSTEMS USING SEQUENTIAL PATTERN MINING  Journal Articles
• Defining the meaning of tabular mathematical expressions  Journal Articles
• Delimited dynamic binding  Journal Articles
• Desert Island Column.  Journal Articles
• Design and Specification of the Minimal Subset of an Operating System Family  Journal Articles
• Designing Software for Ease of Extension and Contraction  Journal Articles
• Digital halftoning by iterative isotropic error feedback  Journal Articles
• Distributed model validation with Epsilon  Journal Articles
• Document-centric XML workflows with fragment digital signatures  Journal Articles
• Double-step generation of ellipses  Journal Articles
• Dynamite  Journal Articles
• E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel.  Journal Articles
• Editorial of the special issue on computer supported cooperative work in design  Journal Articles
• Education for computing professionals  Journal Articles
• Efficient Analysis of DynAlloy Specifications  Journal Articles
• Empirical Software Engineering  Journal
• Engineering Mobile Apps for Disaster Management: The Case of COVID-19 Apps in the Google Play Store  Journal Articles
• Engineering model transformations with transML  Journal Articles
• Epsilon Flock: a model migration language  Journal Articles
• Eugenia: towards disciplined and automated development of GMF-based graphical model editors  Journal Articles
• Evolving models in Model-Driven Engineering: State-of-the-art and future challenges  Journal Articles
• Exceptions in Concurrent Eiffel.  Journal Articles
• Expressing contract monitors as patterns of communication  Conferences
• Expressing contract monitors as patterns of communication  Journal Articles
• Extensible effects  Conferences
• Extensible effects  Journal Articles
• Extensible effects: An alternative to monad transformers  Journal Articles
• Fast line scan-conversion  Journal Articles
• Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages  Journal Articles
• Foreword to the special section on negative results in software engineering  Journal Articles
• Formal verification and validation of embedded systems: the UML-based MADES approach  Journal Articles
• Formal verification of function blocks applied to IEC 61131-3  Journal Articles
• Foundations of the trace assertion method of module interface specification  Journal Articles
• Framed temporal logic programming  Journal Articles
• Framework for robust blind image watermarking based on classification of attacks  Journal Articles
• From syntactic theories to interpreters: Automating the proof of unique decomposition  Journal Articles
• Functional documents for computer systems  Journal Articles
• GUEST EDITORS' INTRODUCTION  Journal Articles
• Game Development using Design-by-Contract.  Journal Articles
• Gaussian Elimination: A case study in efficient genericity with MetaOCaml  Conferences
• GeneVis: Simulation and Visualization of Genetic Networks  Journal Articles
• Genericity for model management operations  Journal Articles
• Grand challenges in model-driven engineering: an analysis of the state of the research  Journal Articles
• Graph Rewriting for Testing Domain-specific Models: Dynamic Role-Based Access Control  Journal Articles
• Guest editorial to the special issue on Success Stories in Model Driven Engineering  Journal Articles
• Guest editorial to the special issue on model transformation  Journal Articles
• Guest editorial to the special section on MODELS 2018  Journal Articles
• Guest editorial to the theme issue on traceability in model-driven engineering  Journal Articles
• Handbook of Practical Logic and Automated Reasoning, by John Harrison, Cambridge University Press, 2009 ISBN 9780521899574  Journal Articles
• Heterogeneous megamodel management using collection operators  Journal Articles
• Hierarchical watermarking framework based on analysis of local complexity variations  Journal Articles
• Higher-Order and Symbolic Computation: Editorial  Journal Articles
• How do microservices evolve? An empirical analysis of changes in open-source microservice repositories  Journal Articles
• IDENTIFYING INHERITANCE STRUCTURE IN OBJECT-ORIENTED SYSTEMS-ANALYSIS - A PATTERN-MATCHING APPROACH  Journal Articles
• IEEE Computer Graphics and Applications  Journal
• IEEE Software  Journal
• IEEE Transactions on Software Engineering  Journal
• IEEE Transactions on Visualization and Computer Graphics  Journal
• IET Software  Journal
• Image retargeting using nonparametric semantic segmentation  Journal Articles
• Implementability of Requirements in the Four-Variable Model  Journal Articles
• Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods  Journal Articles
• Information Visualization  Journal
• Information and Software Technology  Journal
• Information effects  Conferences
• Inspection's role in software quality assurance  Journal Articles
• Integrating BON and Object-Z  Journal Articles
• Integrating BON and Object-Z.  Journal Articles
• Integration of sequential scenarios  Conferences
• Interface Contracts for Workflow+ Models: an Analysis of Uncertainty across Models.  Journal Articles
• International Journal of Software Engineering and Knowledge Engineering  Journal
• International Journal on Software Tools for Technology Transfer  Journal
• Is continuation-passing useful for data flow analysis?  Journal Articles
• Is continuation-passing useful for data flow analysis?  Conferences
• Iterative criteria-based approach to engineering the requirements of software development methodologies  Journal Articles
• 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 Integrated Design and Process Science  Journal
• Journal of Object Technology  Journal
• Journal of Software-Evolution and Process  Journal
• Journal of Systems and Software  Journal
• KNOWLEDGE-BASED REASONING ENHANCED CONTROL SYSTEM FORIN-SITUBIOREMEDIATION PROCESSES  Journal Articles
• Knowledge-Driven User Behavior Pattern Discovery for System Security Enhancement  Journal Articles
• LISP and Symbolic Computation  Journal
• Lazy Exploration and Checking of CSP Models with CSPsim  Conferences
• Lazy evaluation and delimited control  Conferences
• Lessons learned from building model-driven development tools  Journal Articles
• Lies, Damned Lies and UML2Java.  Journal Articles
• Localized model transformations for building large-scale transformations  Journal Articles
• Locally Adaptive Rank-Constrained Optimal Tone Mapping  Journal Articles
• L∞-Constrained near-lossless image compression using weighted finite automata encoding  Journal Articles
• MANUFACTURING AND DESIGN  Journal Articles
• Macros as multi-stage computations  Journal Articles
• Macros as multi-stage computations: Type-safe, generative, binding macros in MacroML  Conferences
• Mathematical methods: What we need and don't need  Journal Articles
• Message oriented programming—A resource based methodology  Journal Articles
• Metamodel-based model conformance and multiview consistency checking  Journal Articles
• Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties  Journal Articles
• Model checking timed properties of healthcare processes  Journal Articles
• Model synchronization based on triple graph grammars: correctness, completeness and invertibility  Journal Articles
• Model-based tool support for Tactical Data Links: an experience report from the defence domain  Journal Articles
• 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  Journal Articles
• Modelling Agile Backlogs as Composable Artifacts to support Developers and Product Owners.  Journal Articles
• Monadic encapsulation in ML  Journal Articles
• Monadic encapsulation in ML  Conferences
• Monadic encapsulation of effects: a revised approach (extended version)  Journal Articles
• Monadic state  Conferences
• Monadic state  Conferences
• Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code  Journal Articles
• Multimedia Tools and Applications  Journal
• Neural network solution for a real-time no-reference video quality assessment of H.264/AVC video bitstreams  Journal Articles
• No-reference stereo image quality assessment based on discriminative sparse representation  Journal Articles
• Not by equations alone: Reasoning with extensible effects  Journal Articles
• On a formal semantics of tabular expressions  Journal Articles
• On iterative constructs  Journal Articles
• On requirement verification for evolving Statecharts specifications  Journal Articles
• On satisfying timing constraints in hard-real-time systems  Conferences
• On the Design and Development of Program Families  Journal Articles
• On the need for fewer restrictions in changing compile-time environments  Journal Articles
• Opportunities in intelligent modeling assistance  Journal Articles
• PREDICTIVE TRACES IN HYBRID SYSTEMS  Journal Articles
• Partial evaluation of Maple  Journal Articles
• Point/Counterpoint  Journal Articles
• Polyglot Software Development: Wait, What?  Journal Articles
• Precise documentation of well-structured programs  Journal Articles
• Predicate logic for software engineering  Journal Articles
• Predictive traces in hybrid systems  Conferences
• Preface for the Special Issue on Tools and Demonstrations in Model-Driven Engineering  Journal Articles
• Preface to the JOT Special Issue dedicated to Martin Gogolla on his 65th Birthday.  Journal Articles
• Preface to the JOT Special Issue dedicated to Prof. Antonio Vallecillo on his 60th Birthday.  Journal Articles
• Preface to the JOT issue on 18th European Conference on Modelling Foundations and Applications (ECMFA 2022).  Journal Articles
• Preface to the JOT special issue containing the ECMFA 2020 selected papers.  Journal Articles
• Preface to the special issue on success stories in model driven engineering  Journal Articles
• Principles for modeling language design  Journal Articles
• Pyramidal modeling of geometric distortions for retargeted image quality evaluation  Journal Articles
• Real-time collaborative multi-level modeling by conflict-free replicated data types  Journal Articles
• Really Rethinking 'Formal Methods'  Journal Articles
• Reasoning about programs in continuation-passing style  Journal Articles
• Reasoning about static and dynamic properties in alloy  Journal Articles
• Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models  Journal Articles
• Repository mining for changes in Simulink and Stateflow models  Journal Articles
• Requirements Engineering  Journal
• Requirements-based monitors for real-time systems  Journal Articles
• Research of incoherence rotated chaotic measurement matrix in compressed sensing  Journal Articles
• Retrieving Aerial Scene Images with Learned Deep Image-Sketch Features  Journal Articles
• Reversible computation vs. reversibility in Petri nets  Journal Articles
• Rigidity Driven Underwater Sensor Self-Organized Deployment  Journal Articles
• Rigorous identification and encoding of trace-links in model-driven engineering  Journal Articles
• Robust image watermarking scheme using bit-plane of hadamard coefficients  Journal Articles
• Robust watermarking using diffusion of logo into auto-encoder feature maps  Journal Articles
• Runtime translation of OCL-like statements on Simulink models: Expanding domains and optimising queries  Journal Articles
• SECG: The SCOOP-to-Eiffel Code Generator.  Journal Articles
• SFI-Swin: symmetric face inpainting with swin transformer by distinctly learning face components distributions  Journal Articles
• Sanctions raise fairness issues  Journal Articles
• Scheduling processes with release times, deadlines, precedence and exclusion relations  Journal Articles
• Science China Information Sciences  Journal
• Science of Computer Programming  Journal
• Search-Based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions  Journal Articles
• Sequent calculi and abstract machines  Journal Articles
• Signature required: Making Simulink data flow and interfaces explicit  Journal Articles
• Simple and efficient motion estimation algorithm by continuum search  Journal Articles
• Simulating the behavior of software modules by trace rewriting  Journal Articles
• Simulation-Based Testing of Simulink Models With Test Sequence and Test Assessment Blocks  Journal Articles
• Single image rain/snow removal using distortion type information  Journal Articles
• Software - Practice and Experience  Journal
• Software Design Trends Supporting Multiconcern Assurance  Journal Articles
• Software Engineering - Missing in Action: A Personal Perspective  Journal Articles
• Software Engineering: A Profession in Waiting  Journal Articles
• Software Structures: A Careful Look  Journal Articles
• Software Systems Engineering programmes a capability approach  Journal Articles
• Software Testing Verification and Reliability  Journal
• Software and Systems Modeling (SoSyM)  Journal
• Software engineering practices and Simulink: bridging the gap  Journal Articles
• Software engineering programmes are not computer science programmes  Journal Articles
• Software engineering programs are not computer science programs  Journal Articles
• Software tools for safety-critical software development  Journal Articles
• Special Issue on the 6th and 7th International Conferences on Software Language Engineering (SLE 2013 and SLE 2014)  Journal Articles
• Specification Patterns for Robotic Missions  Journal Articles
• State of the art in hand and finger modeling and animation  Journal Articles
• Step coverability algorithms for communicating systems  Journal Articles
• Stress-testing remote model querying APIs for relational and graph-based stores  Conferences
• Study on localizability judgment in underwater sensor networks based on skeleton extraction and rigidity theory  Journal Articles
• Supervised deep learning for content-aware image retargeting with Fourier Convolutions  Journal Articles
• Surveying Rule Inheritance in Model-to-Model Transformation Languages.  Journal Articles
• Surveying Rule Inheritance in Model-to-Model Transformation Languages.  Journal Articles
• Sustaining human health: A requirements engineering perspective  Journal Articles
• Synchronization of concurrent processes without globality assumptions  Journal Articles
• Synchronizing events in replicated systems  Journal Articles
• TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds  Journal Articles
• The C programming language  Journal Articles
• The ForeMoSt approach to building valid model-based safety arguments  Journal Articles
• The Modular Structure of Complex Systems  Journal Articles
• The SCOOP concurrency model in java-like languages  Conferences
• The Single Model Principle.  Journal Articles
• The essence of compiling with continuations  Journal Articles
• The essence of compiling with continuations  Conferences
• The essence of compiling with continuations  Conferences
• The essence of compiling with continuations  Conferences
• The influence of software structure on reliability  Conferences
• The influence of software structure on reliability  Journal Articles
• The logic of software design  Journal Articles
• The methodology of mining cognitive maps based on data resources  Journal Articles
• The role of inspection in software quality assurance  Journal Articles
• Three "Influential" Software Design Papers  Journal Articles
• Toward Evidence-Based Software Engineering: Lessons Learned in Healthcare Application Development  Journal Articles
• Toward cost‐effective replica placements in cloud storage systems with QoS‐awareness  Journal Articles
• Towards Optimisation of Model Queries: A Parallel Execution Approach.  Journal Articles
• Trace Diagnostics for Signal-Based Temporal Properties  Journal Articles
• Type inference in flexible model-driven engineering using classification algorithms  Journal Articles
• Understanding Integrity Level Concepts  Journal Articles
• Understanding and improving UML package merge  Conferences
• Update Transformations in the Small with the Epsilon Wizard Language.  Conferences
• Uplink Scheduling for Supporting Real Time Voice Traffic in IEEE 802.16 Backhaul Networks  Journal Articles
• Use of symmetry in prediction-error field for lossless compression of 3D MRI images  Journal Articles
• Using a Social Educational Network to Facilitate Peer-Feedback for a Virtual Simulation  Journal Articles
• Using autonomous components to improve runtime qualities of software  Journal Articles
• Using test oracles generated from program documentation  Journal Articles
• VC-Net: Deep Volume-Composition Networks for Segmentation and Visualization of Highly Sparse and Noisy Image Data  Journal Articles
• Visual Computer  Journal
• Visual coding by optimal graph-coloring  Journal Articles
• What is a purely functional language?  Journal Articles
• What makes a good modeling research contribution?  Journal Articles
• When are methods complementary?  Journal Articles
• Why software jewels are rare  Journal Articles
• XRound: A reversible template language and its application in model-based security analysis  Journal Articles
• “ Adore ”, a logical meta-model supporting business process evolution  Journal Articles
• “Formal methods” technology transfer will fail  Journal Articles