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

Συγγραφείς: Pliskin, Eugene^Aff11

Συνεισφορές: 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

Πηγή: 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

Συγγραφείς: Gardikiotis, S.K., Malevris, N.

Πηγή: 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

Συγγραφείς: Yang, X.-H., Liu, J., Yu, T.-L., Luo, Y., Wu, Q.-J.

Πηγή: 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

Συγγραφείς: Hainaut, J.-L., Hick, J.-M., Henrard, J., Roland, D., Englebert, V.

Πηγή: 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

Συγγραφείς: Cohen, Y., Feldman, Y.A.

Πηγή: 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

Συγγραφείς: Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut

Πηγή: 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

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Atkinson, S., Bailes, P.A., Chapman, M., Chilvers, M., Peake, I.

Πηγή: 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

Συγγραφείς: McClure, R.A., Kruger, I.H.

Πηγή: 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)

Συγγραφείς: Poulin, Jeffrey S.

Πηγή: ACM SIGSOFT Software Engineering Notes. 18(4):75-82

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/163626.163637

Incremental Database Design using UML-B and Event-B

Συγγραφείς: Al-Brashdi, Ahmed, Butler, Michael, Rezazadeh, Abdolbaghi

Πηγή: EPTCS 271, 2018, pp. 34-47

Θεματικοί όροι: Computer Science - Databases, Computer Science - Logic in Computer Science, Computer Science - Software Engineering, D.2 SOFTWARE ENGINEERING, F.3 LOGICS AND MEANINGS OF PROGRAMS

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/1805.05514

A hybrid program knowledge base for static program analyzers

Συγγραφείς: Jarzabek, S., Han Shen, Hock Chuan Chan

Πηγή: 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

Συγγραφείς: Andrea Domínguez-Lara, Wulfrano Arturo Luna-Ramírez

Πηγή: 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

Συγγραφείς: Jarzabek, S.

Πηγή: 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

Συγγραφείς: Nagy, Csaba

Πηγή: 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

Συγγραφείς: Thiran, P., Houben, G.-J., Hainaut, J.-L., Benslimane, D.

Πηγή: 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.

Συγγραφείς: Enikeev, Arslan, Georgiev, Victor, Ahmed Mohammed, Mahfoodh Bilal

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

Θεματικοί όροι: 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

Συγγραφείς: Millham, Richard, Yang, Hongji

Πηγή: 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

Συγγραφείς: Cleve, Anthony^Aff19, Noughi, Nesrine^Aff19, Hainaut, Jean-Luc^Aff19

Συνεισφορές: 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

Πηγή: 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

Συγγραφείς: Pidaparthi, S., Cysewski, G.

Πηγή: 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

Συγγραφείς: Hels Chaparro, Alfonso

Συνεισφορές: Becerra Fontal, Yolanda, Costa Prats, Juan José

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://hdl.handle.net/2117/449748