Computing Complex for Automated Control of the Process of Developing Software for Recognition of Structured Documents

Authors: Pliskin, Eugene^Aff11

Contributors: Kacprzyk, Janusz, Series Editor^Aff1, Gomide, Fernando, Advisory Editor^Aff2, Kaynak, Okyay, Advisory Editor^Aff3, Liu, Derong, Advisory Editor^Aff4, Pedrycz, Witold, Advisory Editor^Aff5, Polycarpou, Marios M., Advisory Editor^Aff6, Rudas, Imre J., Advisory Editor^Aff7, Wang, Jun, Advisory Editor^Aff8, Silhavy, Radek, editor^Aff9, Silhavy, Petr, editor^Aff10

Source: Software Engineering Methods in Systems and Network Systems : Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 2. 934:127-134

Program Analysis and Testing of Database Applications

Authors: Gardikiotis, S.K., Malevris, N.

Source: 5th IEEE/ACIS International Conference on Computer and Information Science and 1st IEEE/ACIS International Workshop on Component-Based Software Engineering,Software Architecture and Reuse (ICIS-COMSAR'06) Computer and Information Science, 2006 and 2006 1st IEEE/ACIS International Workshop on Component-Based Software Engineering, Software Architecture and Reuse. ICIS-COMSAR 2006. 5th IEEE/ACIS International Conference on. :368-373 2006

Relation: 5th IEEE/ACIS International Conference on Computer and Information Science and 1st IEEE/ACIS International Workshop on Component-Based Software Engineering,Software Architecture and Reuse

Dynamically Discovering Functional Likely Program Invariants Based on Relational Database Theory

Authors: Yang, X.-H., Liu, J., Yu, T.-L., Luo, Y., Wu, Q.-J.

Source: 2009 International Conference on Computational Intelligence and Software Engineering Computational Intelligence and Software Engineering, 2009. CiSE 2009. International Conference on. :1-4 Dec, 2009

Relation: 2009 International Conference on Computational Intelligence and Software Engineering

Knowledge transfer in database reverse engineering: a supporting case study

Authors: Hainaut, J.-L., Hick, J.-M., Henrard, J., Roland, D., Englebert, V.

Source: Proceedings of the Fourth Working Conference on Reverse Engineering Reverse engineering Reverse Engineering, 1997. Proceedings of the Fourth Working Conference on. :194-203 1997

Relation: Proceedings of the Fourth Working Conference on Reverse Engineering

Automatic high-quality reengineering of database programs by temporal abstraction

Authors: Cohen, Y., Feldman, Y.A.

Source: Proceedings 12th IEEE International Conference Automated Software Engineering Automated software engineering Automated Software Engineering, 1997. Proceedings., 12th IEEE International Conference. :90-97 1997

Relation: Proceedings 12th IEEE International Conference Automated Software Engineering

Relational symbolic execution of SQL code for unit testing of database programs

Authors: Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut

Source: Marcozzi, M, Vanhoof, W & Hainaut, J L 2015, 'Relational symbolic execution of SQL code for unit testing of database programs', Science of Computer Programming, vol. 105, pp. 44-72. https://doi.org/10.1016/j.scico.2015.03.005

Subject Terms: Technology, Symbolic execution, Structured query language (SQL), Database Applications, Satisfiability Modulo Theories (SMT), 02 engineering and technology, Software testing, Database, SYSTEMS, Quantifiers, 0202 electrical engineering, electronic engineering, information engineering, Relational Algebra, AGENDA, Science & Technology, Satisfiability modulo theories (SMT), First-Order Logic, Software Testing, Software Engineering, 0803 Computer Software, SOLVER, COVERAGE, Symbolic Execution, Structured Query Language (SQL), QUERIES, Computer Science, Constraints, Alloy, GENERATION

File Description: application/pdf

Access URL: https://www.scopus.com/pages/publications/84929704309
https://pure.unamur.be/ws/files/12440801/scp.pdf
https://doi.org/10.1016/j.scico.2015.03.005
https://researchportal.unamur.be/en/publications/1538c005-fe77-4fef-9e5a-f1ccb990c315

A re-engineering evaluation of Software Refinery: architecture, process and technology

Authors: Atkinson, S., Bailes, P.A., Chapman, M., Chilvers, M., Peake, I.

Source: Proceedings of 3rd Symposium on Assessments of Quality Software Development Tools Assessment of quality software development tools Assessment of Quality Software Development Tools, 1994, Proceedings., Third Symposium on. :191-200 1994

Relation: Proceedings of 3rd Symposium on Assessments of Quality Software Development Tools

SQL DOM: compile time checking of dynamic SQL statements

Authors: McClure, R.A., Kruger, I.H.

Source: Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005. Software Engineering Software Engineering, 2005. ICSE 2005. Proceedings. 27th International Conference on. :88-96 2005

Relation: 27th International Conference on Software Engineering

Integrated support for software reuse in Computer-Aided Software Engineering (CASE)

Authors: Poulin, Jeffrey S.

Source: ACM SIGSOFT Software Engineering Notes. 18(4):75-82

Availability: http://dl.acm.org/doi/10.1145/163626.163637

Incremental Database Design using UML-B and Event-B

Authors: Al-Brashdi, Ahmed, Butler, Michael, Rezazadeh, Abdolbaghi

Source: EPTCS 271, 2018, pp. 34-47

Subject Terms: Computer Science - Databases, Computer Science - Logic in Computer Science, Computer Science - Software Engineering, D.2 SOFTWARE ENGINEERING, F.3 LOGICS AND MEANINGS OF PROGRAMS

Access URL: http://arxiv.org/abs/1805.05514

A hybrid program knowledge base for static program analyzers

Authors: Jarzabek, S., Han Shen, Hock Chuan Chan

Source: Proceedings of 1st Asia-Pacific Software Engineering Conference Software engineering Software Engineering Conference, 1994. Proceedings., 1994 First Asia-Pacific. :400-409 1994

Relation: Proceedings of 1st Asia-Pacific Software Engineering Conference

DerSql, Generating SQL from an Entity-Relation Diagram

Authors: Andrea Domínguez-Lara, Wulfrano Arturo Luna-Ramírez

Source: International Association for Development of the Information Society. 2022 (Sustainability).

Peer Reviewed: Y

Page Count: 5

Descriptors: Programming, Coding, Computer Software, Programming Languages, Automation, Databases, Concept Mapping, Data, Models, Mathematical Formulas, Semantics, Computer Science Education, Engineering Technology

Systematic design of static program analyzers

Authors: Jarzabek, S.

Source: Proceedings Eighteenth Annual International Computer Software and Applications Conference (COMPSAC 94) Computer software and applications Computer Software and Applications Conference, 1994. COMPSAC 94. Proceedings., Eighteenth Annual International. :281-286 1994

Relation: Proceedings Eighteenth Annual International Computer Software and Applications Conference (COMPSAC 94)

Static Analysis of Data-Intensive Applications

Authors: Nagy, Csaba

Source: 2013 17th European Conference on Software Maintenance and Reengineering Software Maintenance and Reengineering (CSMR), 2013 17th European Conference on. :435-438 Mar, 2013

Relation: 2013 17th European Conference on Software Maintenance and Reengineering (CSMR)

Updating legacy databases through wrappers: data consistency management

Authors: Thiran, P., Houben, G.-J., Hainaut, J.-L., Benslimane, D.

Source: 11th Working Conference on Reverse Engineering Reverse engineering Reverse Engineering, 2004. Proceedings. 11th Working Conference on. :58-67 2004

Relation: Proceedings. 11th Working Conference on Reverse Engineering

SPECIALIZED CASE TOOLS FOR THE DEVELOPMENT OF INFORMATION-CALCULATING APPLICATIONS.

Authors: Enikeev, Arslan, Georgiev, Victor, Ahmed Mohammed, Mahfoodh Bilal

Source: Proceedings of the International Multidisciplinary Scientific GeoConference SGEM; 2017, Vol. 17 Issue 2-3, p603-610, 8p

Subject Terms: Computer-aided software engineering, Computer-aided design, Object-oriented programming, Relational databases, Program generators (Computer programs)

Domain Analysis in the Reengineering Process of a COBOL System

Authors: Millham, Richard, Yang, Hongji

Source: 2009 33rd Annual IEEE International Computer Software and Applications Conference Computer Software and Applications Conference, 2009. COMPSAC '09. 33rd Annual IEEE International. 2:293-299 Jul, 2009

Relation: 2009 33rd Annual IEEE International Computer Software and Applications Conference (COMPSAC)

Dynamic Program Analysis for Database Reverse Engineering

Authors: Cleve, Anthony^Aff19, Noughi, Nesrine^Aff19, Hainaut, Jean-Luc^Aff19

Contributors: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Nierstrasz, Oscar, Series editor^Aff8, Pandu Rangan, C., Series editor^Aff9, Steffen, Bernhard, Series editor^Aff10, Sudan, Madhu, Series editor^Aff11, Terzopoulos, Demetri, Series editor^Aff12, Tygar, Doug, Series editor^Aff13, Vardi, Moshe Y., Series editor^Aff14, Weikum, Gerhard, Series editor^Aff15, Lämmel, Ralf, editor^Aff16, Saraiva, João, editor^Aff17, Visser, Joost, editor^Aff18

Source: Generative and Transformational Techniques in Software Engineering IV : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers. 7680:297-321

Case study in migration to object-oriented system structure using design transformation methods

Authors: Pidaparthi, S., Cysewski, G.

Source: Proceedings. First Euromicro Conference on Software Maintenance and Reengineering EUROMICRO 97: software maintenance and reengineering Software Maintenance and Reengineering, 1997. EUROMICRO 97., First Euromicro Conference on. :128-135 1997

Relation: Proceedings. First Euromicro Conference on Software Maintenance and Reengineering

Análisis y evaluación de la gestión de threads de Cassandra

Authors: Hels Chaparro, Alfonso

Contributors: Becerra Fontal, Yolanda, Costa Prats, Juan José

Subject Terms: Software engineering, Application program interfaces (Computer software), Àrees temàtiques de la UPC::Informàtica::Enginyeria del software, Non-relational databases, Apache Cassandra, Interfícies de programació d'aplicacions (Programari), Bases de dades no relacionals, Thread, System calls, Crides a sistema, API, Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació::Bases de dades, Enginyeria de programari, Base de dades distribuïda no relacional

File Description: application/pdf

Access URL: https://hdl.handle.net/2117/449748