The proceedings contain 12 papers. The topics discussed include: co-evolutionary service-oriented model of technology transfer in softwareengineering;the evolution of emerging technologies in market-driven software p...
ISBN:
(纸本)159593412X
The proceedings contain 12 papers. The topics discussed include: co-evolutionary service-oriented model of technology transfer in softwareengineering;the evolution of emerging technologies in market-driven software product development;sustainable technology transfer;aligning technology transfer using basic business measures;technology transfer: why some succeed and some don't;the concept of change in technology transfer;intelligent decision support for road mapping: a technology transfer case study with Siemens corporate technology;on the 'selling' of academic research to industry;the NASA software research infusion initiative: successful technology transfer for software assurance;Houston, we have a success story: technology transfer at the NASA IV&V facility;and a survey of software related academic collaborations at Siemens.
The proceedings contain 41 papers. The topics discussed include: a systematic literature review of software process improvement in small and medium Web Companies;An XCP based distributed calibration system;structural ...
ISBN:
(纸本)3642106188
The proceedings contain 41 papers. The topics discussed include: a systematic literature review of software process improvement in small and medium Web Companies;An XCP based distributed calibration system;structural and behavioral detection of design patterns;test case minimization and prioritization using CMIMX technique;embedded control software design with aspect patterns;towards a consistent semantics for unsafe time petri nets;a multiple viewed interrelated ontology model for holistic component specification and retrieval;a conflict-based model for problem-oriented softwareengineering and its applications solved by dimension change and use of intermediary;requirements engineering problems and practices in software companies: an industrial survey;and a formal methodology for semantics and time consistency checking of UML dynamic diagrams.
The proceedings contain 105 papers. The topics discussed include: interactive and collaborative e-learning platform with integrated social software and learning management system;neural network based software reliabil...
ISBN:
(纸本)9783642345302
The proceedings contain 105 papers. The topics discussed include: interactive and collaborative e-learning platform with integrated social software and learning management system;neural network based software reliability prediction with the feed of testing process knowledge;complexity metrics significance for defects: an empirical view;a Petri net based automatic executable code generation method for web service composition;a SPMP changeability measurement model for reducing software development risk;timing sequence analysis technology and application of RVD software based on black box testing environment;application research of two-dimensional barcode in information construction of colleges;design and implementation of material supply system based on B/S and C/S mixed mode;measurability: a key problem for test systems;and generic contract-regulated web service composition specification and verification.
The proceedings contain 6 papers. The topics discussed include: the quantum softwareengineering path;a roadmap for quantum softwareengineering: applying the lessons learned from the classics;off-the-shelf components...
The proceedings contain 6 papers. The topics discussed include: the quantum softwareengineering path;a roadmap for quantum softwareengineering: applying the lessons learned from the classics;off-the-shelf components for quantum programming and testing;requirements for quantum software platforms;generalizing an exactly-1 SAT solver for arbitrary numbers of variables, clauses, and K;and a tool for quantum software evolution.
The proceedings contain 10 papers. The topics discussed include: an exploratory study on the challenges of engineering quantum applications in the cloud;trials and tribulations of developing hybrid quantum-classical m...
The proceedings contain 10 papers. The topics discussed include: an exploratory study on the challenges of engineering quantum applications in the cloud;trials and tribulations of developing hybrid quantum-classical microservices systems;towards a quantum algorithm for evaluating WCETs;non-functional requirements for quantum programs;QuantumPath´s annealer compositor;cybersecurity for quantum computing;engineering reliable hybrid quantum software: an architectural-driven approach;software quality issues in quantum information systems;and formal quantum softwareengineering.
Proceedings of the 2012 internationalconference on Information technology and softwareengineering presents selected articles from this major event, which was held in Beijing, December 8-10, 2012. This book presents ...
ISBN:
(纸本)9783662511848
Proceedings of the 2012 internationalconference on Information technology and softwareengineering presents selected articles from this major event, which was held in Beijing, December 8-10, 2012. This book presents the latest research trends, methods and experimental results in the fields of information technology and softwareengineering, covering various state-of-the-art research theories and approaches. The subjects range from intelligent computing to information processing, softwareengineering, Web, unified modeling language (UML), multimedia, communication technologies, system identification, graphics and visualizing, etc. The proceedings provide a major interdisciplinary forum for researchers and engineers to present the most innovative studies and advances, which can serve as an excellent reference work for researchers and graduate students working on information technology and softwareengineering. Prof. Wei Lu, Dr. Guoqiang Cai, Prof. Weibin Liu and Dr. Weiwei Xing all work at Beijing Jiaotong University.
The proceedings contain 10 papers. The special focus in this conference is on softwareengineering and Formal Methods. The topics include: Private Memory Confers No Advantage;frequentist Probability Logic;using Maude ...
ISBN:
(纸本)9783031660207
The proceedings contain 10 papers. The special focus in this conference is on softwareengineering and Formal Methods. The topics include: Private Memory Confers No Advantage;frequentist Probability Logic;using Maude to Model Motivation in Human Behaviour;semantic Memory, Mnemonic Effort and Mnemonic Habit;scientific Understanding and the Explanatory Integration in Cognitive Sciences;code Biology and Enactivism: Bringing Adaptors to Basic Minds;clinical Cognitive Sciences;facets of Openness in a Serious Game: Opening up Format, Content, software and Hardware.
The proceedings contain 60 papers. The topics discussed include: mobile payment authentication using QR code based on visual cryptography scheme;a classroom usage monitoring system with image detection for student att...
ISBN:
(纸本)9798350317503
The proceedings contain 60 papers. The topics discussed include: mobile payment authentication using QR code based on visual cryptography scheme;a classroom usage monitoring system with image detection for student attendance;tapping into the interactive online classroom: the use of multimedia in e-learning;disrupting higher education: a comparative study of synchronous lecturing and self-paced learning in higher education;course recommendation on online learning platforms using collaborative filtering and content-based filtering with implicit feedback;Delone-Mclean and technology acceptance model in investors use of automated order online trading;exploring COVID-19 vital signs using Bayesian network causal graph;stunting classification analysis for toddlers in Bojongsoang: a data-driven approach;analyzing the factors influencing the use of digital banking services among generation Z;and performance of traditional and dense vector information retrieval models in code search.
The proceedings contain 49 papers. The topics discussed include: analysis of e-learning Indonesian student acceptance behavior in online practicum using tam and flow theory;factors affecting information assurance for ...
ISBN:
(纸本)9781665473033
The proceedings contain 49 papers. The topics discussed include: analysis of e-learning Indonesian student acceptance behavior in online practicum using tam and flow theory;factors affecting information assurance for big data;automatic hand sanitizer and body temperature measurement system with low liquid hand sanitizer condition notification;study of multi-modal diary service using spoken dialogue agent for self-care in elderly people;an optimized clustering model for heterogeneous cross-project defect prediction using quantum crow search;evaluation and improvement of user interface for online passport service application using user centered design approach;systematic literature review of artificial intelligence in malware detection;evaluation and user interface design recommendation using user centered design method in Finpay money application;extended finite state machine-model based testing on mobile application;analysis and redesign web navigation Telkom University using usability testing and trunk test;and user interface design pattern selection and implementation for designing a web-based transaction and goods record-keeping application for micro, small and medium enterprises.
The proceedings contain 32 papers. The topics discussed include: effective web and desktop retrieval with enhanced semantic spaces;considering patterns in class interactions prediction;design of an unattended monitori...
ISBN:
(纸本)3642175775
The proceedings contain 32 papers. The topics discussed include: effective web and desktop retrieval with enhanced semantic spaces;considering patterns in class interactions prediction;design of an unattended monitoring system using context-aware technologies based on 3 screen;quality-driven architecture conformance;trends in M2M application services based on a smart phone;using ERP and WfM systems for implementing business processes: an empirical study;mining design patterns in object oriented systems by a model-driven approach;exploring empirically the relationship between lack of cohesion and testability in object-oriented systems;the software industry in the coffee triangle of Colomiba;towards maintainability prediction for relational database-driven software applications: evidence from software practitioners;and software and web process improvement - predicting SPI success for small and medium companies.
暂无评论