Software Engineering Concept

subject area of

• A Comparison of Tabular Expression-Based Testing Strategies  Academic Article
• A Hitchhiker's Guide to Model-Driven Engineering for Data-Centric Systems  Academic Article
• 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 common subgraph correspondence mining framework for map search services  Academic Article
• A correctness proof for combinator reduction with cycles  Academic Article
• A distributed multidisciplinary design optimization framework: Technology integration  Academic Article
• A framed temporal logic programming language  Academic Article
• A monadic framework for delimited continuations  Academic Article
• A novel blind detector for additive noise steganography in JPEG decompressed images  Academic Article
• A novel partial point cloud registration method based on graph attention network  Academic Article
• A proof-theoretic foundation of abortive continuations  Academic Article
• A rational design process: How and why to fake it  Academic Article
• A reflection on call-by-value  Conference Paper
• A reflection on call-by-value  Conference Paper
• A survey on the design space of end-user-oriented languages for specifying robotic missions  Academic Article
• A tutorial on metamodelling for grammar researchers  Academic Article
• A type-theoretic foundation of continuations and prompts  Conference Paper
• A type-theoretic foundation of delimited continuations  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
• AN INTELLIGENT AGENT MOBILE EMISSIONS MODEL FOR URBAN ENVIRONMENTAL MANAGEMENT  Academic Article
• Abstract specification of resource accessing disciplines  Academic Article
• Abstract types defined as classes of variables  Academic Article
• Active design reviews: Principles and practices  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 extended account of contract monitoring strategies as patterns of communication  Academic Article
• An object model for dynamic mixins  Academic Article
• Annals of Software Engineering  Journal
• Architecture description languages for high-integrity real-time systems  Academic Article
• Automated Software Engineering  Journal
• Automated Software Engineering: Special Issue on Precise Semantics for Software Modeling Techniques  Book
• Automatic generation of UML profile graphical editors for Papyrus  Academic Article
• BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning.  Academic Article
• Backtracking, interleaving, and terminating monad transformers  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
• CPS in little pieces: composing partial continuations  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
• Characterizing Black-box Composition Operators via Generated Tailored Benchmarks.  Academic Article
• Cloud/haze detection in airborne videos using a convolutional neural network  Academic Article
• Collaborative and proactive data agent for distributed design environments  Academic Article
• Collaborative computing technologies and systems  Academic Article
• Color quantization by dynamic programming and principal analysis  Academic Article
• Combining Genetic Programming and Model Checking to Generate Environment Assumptions  Academic Article
• Comparison of manual and automated marking of student programs  Academic Article
• Computer  Journal
• Computer Graphics Forum  Journal
• Computer Languages, Systems and Structures Computer Languages  Journal
• Computers and Graphics  Journal
• Computers in Entertainment  Journal
• Concern-oriented language development (COLD): Fostering reuse in language engineering  Academic Article
• 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
• Context-aware saliency detection for image retargeting using convolutional neural networks  Academic Article
• Correction to “a rational design process: How and why to fake it”  Academic Article
• DYNAMIC KNOWLEDGE EXTRACTION FROM SOFTWARE SYSTEMS USING SEQUENTIAL PATTERN MINING  Academic Article
• Defining the meaning of tabular mathematical expressions  Academic Article
• Delimited dynamic binding  Academic Article
• Delimited dynamic binding  Conference Paper
• Desert Island Column.  Academic Article
• Design and Specification of the Minimal Subset of an Operating System Family  Academic Article
• Designing Software for Ease of Extension and Contraction  Academic Article
• Digital halftoning by iterative isotropic error feedback  Academic Article
• Distributed model validation with Epsilon  Academic Article
• Document-centric XML workflows with fragment digital signatures  Academic Article
• Double-step generation of ellipses  Academic Article
• Dynamite  Academic Article
• E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel.  Academic Article
• Editorial of the special issue on computer supported cooperative work in design  Academic Article
• Education for computing professionals  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
• Expressing contract monitors as patterns of communication  Conference Paper
• Extensible effects  Conference Paper
• Extensible effects: An alternative to monad transformers  Academic Article
• Fast line scan-conversion  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
• From syntactic theories to interpreters: Automating the proof of unique decomposition  Academic Article
• Functional documents for computer systems  Academic Article
• GUEST EDITORS' INTRODUCTION  Academic Article
• 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
• Higher-Order and Symbolic Computation LISP and Symbolic Computation  Journal
• Higher-Order and Symbolic Computation: Editorial  Academic Article
• IDENTIFYING INHERITANCE STRUCTURE IN OBJECT-ORIENTED SYSTEMS-ANALYSIS - A PATTERN-MATCHING APPROACH  Academic Article
• IEE Proceedings: Software IET Software  Journal
• IEEE Computer Graphics and Applications  Journal
• IEEE Software  Journal
• IEEE Transactions on Software Engineering  Journal
• IEEE Transactions on Visualization and Computer Graphics  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
• Information effects  Conference Paper
• 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
• Interface Contracts for Workflow+ Models: an Analysis of Uncertainty across Models.  Academic Article
• International Journal of Software Engineering and Knowledge Engineering  Journal
• International Journal on Software Tools for Technology Transfer Software-Concepts and Tools  Journal
• Is continuation-passing useful for data flow analysis?  Academic Article
• 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 Integrated Design and Process Science  Journal
• Journal of Object Technology  Journal
• Journal of Software Maintenance and Evolution Journal of Software Maintenance  Journal
• Journal of Systems and Software  Journal
• KNOWLEDGE-BASED REASONING ENHANCED CONTROL SYSTEM FORIN-SITUBIOREMEDIATION PROCESSES  Academic Article
• Knowledge-Driven User Behavior Pattern Discovery for System Security Enhancement  Academic Article
• Lazy Exploration and Checking of CSP Models with CSPsim  Conference Paper
• Lazy evaluation and delimited control  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
• Macros as multi-stage computations  Academic Article
• Mathematical methods: What we need and don't need  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
• Modelling Agile Backlogs as Composable Artifacts to support Developers and Product Owners.  Academic Article
• Monadic encapsulation in ML  Academic Article
• Monadic encapsulation of effects: a revised approach (extended version)  Academic Article
• Monadic state  Conference Paper
• Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code  Academic Article
• Multimedia Systems Multimedia Tools and Applications  Journal
• Neural network solution for a real-time no-reference video quality assessment of H.264/AVC video bitstreams  Academic Article
• No-reference stereo image quality assessment based on discriminative sparse representation  Academic Article
• Not by equations alone: Reasoning with extensible effects  Academic Article
• On a formal semantics of tabular expressions  Academic Article
• On iterative constructs  Academic Article
• On requirement verification for evolving Statecharts specifications  Academic Article
• On satisfying timing constraints in hard-real-time systems  Conference Paper
• On the Design and Development of Program Families  Academic Article
• On the need for fewer restrictions in changing compile-time environments  Academic Article
• Opportunities in intelligent modeling assistance  Academic Article
• PREDICTIVE TRACES IN HYBRID SYSTEMS  Academic Article
• Partial evaluation of Maple  Academic Article
• Point/Counterpoint  Academic Article
• Precise documentation of well-structured programs  Academic Article
• Predicate logic for software engineering  Academic Article
• Predictive traces in hybrid systems  Conference Paper
• Preface to the JOT Special Issue dedicated to Martin Gogolla on his 65th Birthday.  Academic Article
• Preface to the JOT Special Issue dedicated to Prof. Antonio Vallecillo on his 60th Birthday.  Academic Article
• Preface to the JOT special issue containing the ECMFA 2020 selected papers.  Academic Article
• Principles for modeling language design  Academic Article
• Pyramidal modeling of geometric distortions for retargeted image quality evaluation  Academic Article
• Really Rethinking 'Formal Methods'  Academic Article
• Reasoning about programs in continuation-passing style  Academic Article
• Reasoning about static and dynamic properties in alloy  Academic Article
• Requirements Engineering  Journal
• Requirements-based monitors for real-time systems  Academic Article
• Research of incoherence rotated chaotic measurement matrix in compressed sensing  Academic Article
• Retrieving Aerial Scene Images with Learned Deep Image-Sketch Features  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
• Runtime translation of OCL-like statements on Simulink models: Expanding domains and optimising queries  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
• Scheduling processes with release times, deadlines, precedence and exclusion relations  Academic Article
• Science of Computer Programming  Journal
• Sequent calculi and abstract machines  Academic Article
• Signature required: Making Simulink data flow and interfaces explicit  Academic Article
• Simple and efficient motion estimation algorithm by continuum search  Academic Article
• Simulating the behavior of software modules by trace rewriting  Academic Article
• Single image rain/snow removal using distortion type information  Academic Article
• Software - Practice and Experience  Journal
• Software Engineering - Missing in Action: A Personal Perspective  Academic Article
• Software Engineering: A Profession in Waiting  Academic Article
• Software Structures: A Careful Look  Academic Article
• Software Systems Engineering programmes a capability approach  Academic Article
• Software Testing Verification and Reliability  Journal
• Software and Systems Modeling  Journal
• Software engineering practices and Simulink: bridging the gap  Academic Article
• Software engineering programmes are not computer science programmes  Academic Article
• Software engineering programs are not computer science programs  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
• Specification Patterns for Robotic Missions  Academic Article
• State of the art in hand and finger modeling and animation  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 Modular Structure of Complex Systems  Academic Article
• The SCOOP concurrency model in java-like languages  Conference Paper
• The Single Model Principle.  Academic Article
• The essence of compiling with continuations  Academic Article
• The essence of compiling with continuations  Conference Paper
• The essence of compiling with continuations  Conference Paper
• The influence of software structure on reliability  Conference Paper
• The influence of software structure on reliability  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
• Towards Optimisation of Model Queries: A Parallel Execution Approach.  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
• Using test oracles generated from program documentation  Academic Article
• VC-Net: Deep Volume-Composition Networks for Segmentation and Visualization of Highly Sparse and Noisy Image Data  Academic Article
• Visual Computer  Journal
• Visual coding by optimal graph-coloring  Academic Article
• What is a purely functional language?  Academic Article
• When are methods complementary?  Academic Article
• Why Do Software Developers Use Static Analysis Tools? A User-Centered Study of Developer Needs and Motivations  Academic Article
• Why software jewels are rare  Academic Article
• XRound: A reversible template language and its application in model-based security analysis  Academic Article
• “ Adore ”, a logical meta-model supporting business process evolution  Academic Article
• “Formal methods” technology transfer will fail  Academic Article