the following topics are dealt with: life-cycle support;formal methods;software design and development;ensuring software quality;database issues;education and technical transfers;rapid prototyping;path testing and ana...
详细信息
ISBN:
(纸本)0818606207
the following topics are dealt with: life-cycle support;formal methods;software design and development;ensuring software quality;database issues;education and technical transfers;rapid prototyping;path testing and analysis;software management concerns;testing and debugging;defect measurement;knowledge-based approaches;metric studies from the SEL;and the role of logic and AI in the software enterprise. 55 papers were presented, all of which are published in full in the present proceedings.
the proceedings contain 9 papers. the topics discussed include: towards a mapping from ERDF(S) to take vocabulary;JSON rules;test-driven development of complex information extraction systems using TextMarker;UML repre...
the proceedings contain 9 papers. the topics discussed include: towards a mapping from ERDF(S) to take vocabulary;JSON rules;test-driven development of complex information extraction systems using TextMarker;UML representation proposal for XTT rule design method;proposal of a prolog-basedknowledge wiki;learning to cope with critical situations - an agent based approach;on restaurants and requirements: how requirements engineering may be facilitated by scripts;improving result adaptation through 2-step retrieval;and translating cooperative strategies for robot behavior.
the proceedings contain 24 papers. the special focus in this conference is on Civil engineering and Materials Science. the topics include: Implementation of a Low-Cost Structural Health Monitoring System for Bridges i...
ISBN:
(纸本)9789819615735
the proceedings contain 24 papers. the special focus in this conference is on Civil engineering and Materials Science. the topics include: Implementation of a Low-Cost Structural Health Monitoring System for Bridges in Peru;characterization of Crack Expansion and Permeability of Sinkhole Structures in Near-Coastal Areas;Using YOLOv8 for Building Damage Identification in Japan's Noto Region Following Earthquakes: A Deep Learning-based Approach;damage Identification in Concrete Bridges Using Unmanned Aerial Vehicles and Neural Networks;numerical Study on Dynamic Response of Undersea Tunnel by the Action of Underwater Explosion;General Effect of Internal Span of U-shaped Stud on UHPC-NC Interfacial Failure Load;performance Evaluation of Buckling Restrained Brace withengineering Plastics;effect of Compression and Inter-Laminar Angle on the Strength of Palm Adhesive Bonds;optimization of Free Form Surface in Bulge Formed Joint based on Fairness Characteristics;nonlinear Finite Element Analysis and Reinforcement Design of High Head Intake Structure;application Research on Multi-Source Solid Waste Synergistic Utilization of Highway Subgrade;development of Regression Model for Prediction of Corrosion Level in Polypropylene Fiber Reinforced Concrete Using Response Surface Methodology;comparison of the Effects of Different Moisture-Proof Coatings on Interior Wall Plastering;using Harbor Sediment to Produce Controlled Low-Strength Materials;learning from Predecessors: Alternative Formulations for Drywall Materials;empirical Investigation on the Applications of Graphene Oxide in Enhancing the Concrete’s Durability and Mechanical Properties Mixed with Polypropylene Fiber;evaluation and Field Application of Terrazzo Tiles Manufactured from Coal Bottom Ash as Fine Aggregate;TBM-Induced Settlements in Cohesionless Soil: A Numerical Study.
the proceedings contain 34 papers. the topics discussed include: formal methods in energy informatics;formal methods as a link between software code and legal rules;developing model-checking mechanisms for ASSL: an ex...
ISBN:
(纸本)9783642246890
the proceedings contain 34 papers. the topics discussed include: formal methods in energy informatics;formal methods as a link between software code and legal rules;developing model-checking mechanisms for ASSL: an experience report;models and communication in the policy process;distributed implementation of systems with multiparty interactions and priorities;broadcast psi-calculi with an application to wireless protocols;a formalization of java strings for program specification and verification;a machine-checked framework for relational separation logic;a dataflow analysis to improve SAT-based bounded program verification;reverse Hoare logic;runtime verification of component-based systems;translating alloy specifications to UML class diagrams annotated with OCL;safe distribution of declarative processes;and verifying B proof rules using deep embedding and automated theorem proving.
According to the requirements of the model development, this analysis applies GT power software to establish a thermodynamic simulation and analysis model for a 2.0T second-generation direct injection turbocharged int...
详细信息
this conferenceproceedings contains 46 papers. the following topics are dealt with: software development environments;analysis techniques;specification and design;knowledge-based and formal approaches;software design...
详细信息
this conferenceproceedings contains 46 papers. the following topics are dealt with: software development environments;analysis techniques;specification and design;knowledge-based and formal approaches;software design;complexity and reliability;process assessment;real time systems;process modelling;completely validated software;and, modelling the software process.
the proceedings contain 26 papers. the special focus in this conference is on Big Data Management and Service. the topics include: FAIth: A Fast, Accurate, and Lightweight Database-Agnostic Learned Cost Model;fas...
ISBN:
(纸本)9789819609130
the proceedings contain 26 papers. the special focus in this conference is on Big Data Management and Service. the topics include: FAIth: A Fast, Accurate, and Lightweight Database-Agnostic Learned Cost Model;fast Approximate Temporal Butterfly Counting on Bipartite Graphs via Edge Sampling;Financial-ICS: Identifying Peer Firms via LongBERT from 10K Reports;establishing a Decentralized Diamond Quality Management System: Advancing Towards Global Standardization;co-estimation of Data Types and their Positional Distribution;Enhancing Load Forecasting with VAE-GAN-based Data Cleaning for Electric Vehicle Charging Loads;audio-Guided Visual knowledge Representation;boundary Point Detection Combining Gravity and Outlier Detection Methods;A Meta-learning Approach for Category-Aware Sequential Recommendation on POIs;automatic Post-editing of Speech Recognition System Output Using Large Language Models;comparative Analysis with Multiple Large-Scale Language Models for Automatic Generation of Funny Dialogues;effectiveness of the Programmed Visual Contents Comparison Method for Two Phase Collaborative Learning in Computer Programming Education: A Case Study;generating Achievement Relationship Graph Between Actions for Alternative Solution Recommendation;generating News Headline Containing Specific Person Name;Investigating Evidence in Sentence Similarity Using MASK in BERT;acceleration of Synopsis Construction for Bounded Approximate Query Processing;Query Expansion in Food Review Search with Synonymous Phrase Generation by LLM;Question Answer Summary Generation from Unstructured Texts by Using LLMs;Real Estate Information Exploration in VR with LoD Control by Physical Distance;voices of Asynchronous Learning Students: Revealing Learning Characteristics through Vocabulary Analysis of Notes Tagged in Videos;review Search Interface based on Search Result Summarization Using Large Language Model;yes-No Flowchart Generation for Interactive Exploration of Personalized Health Improve
the software industry is characterized by an environment of uncertainty, high volatility, and constant change. this context has shaped the industry, its components, and actors, generating methodologies capable of meet...
详细信息
the proceedings contain 11 papers. the special focus in this conference is on Evaluation of Novel Approaches to softwareengineering. the topics include: Reducing the level of complexity of working with model transfor...
ISBN:
(纸本)9783319272177
the proceedings contain 11 papers. the special focus in this conference is on Evaluation of Novel Approaches to softwareengineering. the topics include: Reducing the level of complexity of working with model transformations;learning from the current status of agile adoption;using a domain specific language for lightweight model-driven development;a passive approach for protocols;experiences of use of a multi-domain tool for collaborative softwareengineering tasks;taking seriously software projects inception through games;natural language generation approach for automated generation of test cases from logical specification of requirements;visualization, simulation and validation for cyber-virtual systems and mobile application estimate the design phase.
the book captures the latest developments in the areas of knowledgeengineering and softwareengineering. Particular emphasis is placed upon applying knowledge-based methods to softwareengineering problems. the Confe...
详细信息
ISBN:
(数字)9781601294418
ISBN:
(纸本)9781586032746
the book captures the latest developments in the areas of knowledgeengineering and softwareengineering. Particular emphasis is placed upon applying knowledge-based methods to softwareengineering problems. the conference, from which the papers are coming, originated in order to provide a forum in which the latest developments in the field of knowledge-basedsoftwareengineering could be discussed. Although initially targeting scientists from Japan, the CIS countries and countries in Central and Eastern Europe, the authors come from many countries throughout the world. JCKBSE 2002 continues withthis tradition and is anticipating even wider international participation. Furthermore, the scope of the conference as indicated by its topics has been updated to reflect the recent development in all the three covered areas, i.e. knowledgeengineering, softwareengineering, and knowledge-basedsoftwareengineering.
暂无评论