The proceedings contains 60 papers. Topics discussed include formal methods, tools and environments, reactive and real time embedded systems, system modeling and design methodology, software architecture and framework...
详细信息
The proceedings contains 60 papers. Topics discussed include formal methods, tools and environments, reactive and real time embedded systems, system modeling and design methodology, software architecture and framework, requirement engineering, software management and planning, software testing techniques, object oriented analysis and design, software maintenance, software architecture and framework, reengineering and reverse engineering and component based design techniques.
The proceedings contain 101 papers from the 11th asia-pacificsoftwareengineeringconference, APSEC2004. The topics discussed include: an empirical evaluation of architectural alternatives for J2EE and web services;d...
详细信息
The proceedings contain 101 papers from the 11th asia-pacificsoftwareengineeringconference, APSEC2004. The topics discussed include: an empirical evaluation of architectural alternatives for J2EE and web services;dynamic verification of temporal constraints on-the-fly for workflow systems;reasoning about semantic web in Isabelle/HOL;quality improvements by integrating development processes;how to have a successful free software project;tool supported development of service-based systems;a taxonomy of call ordering problems;a case study in specification and implementation testing;experiences adopting software product line development without a product line architecture;and automatic detecting code cooperation.
The proceedings contain 55 papers. The topics discussed include: software systems engineering - from domain analysis;communication, collaboration and cooperation in software development - how should we support group w...
ISBN:
(纸本)0818671718
The proceedings contain 55 papers. The topics discussed include: software systems engineering - from domain analysis;communication, collaboration and cooperation in software development - how should we support group work in software development?;from scenarios to timed automata: building specifications from users requirements;expressing inter-perspective relationships: A logical approach;two-dimensional concurrent program debugging;reasoning about concurrent objects;a reorganization framework of the object-oriented class hierarchy;complexity measures for object-oriented program based on the entropy;a survey of experiences amongst object-oriented practitioners;and development of distributed applications with separation of concerns.
The proceedings contain 65 papers. The topics discussed include: So Ready: an extension of the test and defect coverage-based analytics model for pull-based software development;towards a formal approach to dening and...
ISBN:
(纸本)9781728146485
The proceedings contain 65 papers. The topics discussed include: So Ready: an extension of the test and defect coverage-based analytics model for pull-based software development;towards a formal approach to dening and computing the complexity of component based software;a domain experts centric approach to formal requirements modeling and V&V of embedded control software;inferring faults in business specifications extracted from source code;formal modelling and verication of spinlocks at instruction level;and witness: detecting vulnerabilities in android apps extensively and verifiably.
The proceedings contain 26 papers. The topics discussed include: characterizing sound visualizations of specifications using micro-charts and refinement;understanding quality attributes in microservice architecture;an...
ISBN:
(纸本)9781538626498
The proceedings contain 26 papers. The topics discussed include: characterizing sound visualizations of specifications using micro-charts and refinement;understanding quality attributes in microservice architecture;an optimal opportunistic scheduling algorithm for parallel tasks in a cloudlet;exploring the relationships between software architecture and source code;systematic review of success factors for scaling agile methods in global software development environment: a client-vendor perspective;regression testing goals - view of practitioners and researchers;an overview of practical impacts of functional programming;including pervasive web content in evidence-based softwareengineering: a case study;and an analysis of library rollbacks: a case study of java libraries.
The proceedings contain 102 papers. The topics discussed include: goal-oriented requirements engineering;the essential components of software architecture design and analysis;vision, strategy, and practice of software...
详细信息
ISBN:
(纸本)0769524656
The proceedings contain 102 papers. The topics discussed include: goal-oriented requirements engineering;the essential components of software architecture design and analysis;vision, strategy, and practice of software research& development in industry;systematic use case based requirements engineering approach with scenarios;accommodating software development collaboration;a temporal logic for input output symbolic transition systems;model checking interrupt-dependent software;a lightweight integration of theorem proving and model checking for system verification;model checking class specifications for Web applications;model-driven semantic Web service composition;client profiling for QoS-based Web service recommendation;and an incremental analysis to workflow specifications.
The proceedings contain 53 papers. The topics discussed include: trends in automation and control systems needing efficient softwareengineering;building an open identity platform for India;building enterprise-grade I...
ISBN:
(纸本)9781467396448
The proceedings contain 53 papers. The topics discussed include: trends in automation and control systems needing efficient softwareengineering;building an open identity platform for India;building enterprise-grade Internet of things applications;evaluation and measurement of software testing process quality applicable to software testing laboratory;software defined storage technology;CSP bounded model checking of preprocessed CTL extended with events using answer set programming;PowerPoint add-in tool support for informal and semi-formal specification animation;high productivity programmers use effective task processes in unit-testing;and generating hierarchical reference process model using fragments clustering.
The proceedings contain 93 papers. The topics discussed include: extracting traceability between predicates in event-B refinement;an improved approach to traceability recovery based on word embeddings;application of L...
ISBN:
(纸本)9781538636817
The proceedings contain 93 papers. The topics discussed include: extracting traceability between predicates in event-B refinement;an improved approach to traceability recovery based on word embeddings;application of LSSVM and SMOTE on seven open source projects for predicting refactoring at class level;detecting full initialization points of objects to support code refactorings;a cloud-based trust evaluation scheme using a vehicular social network environment;Noff: a novel extendible parallel library for high-performance network traffic monitoring;a reusable framework for modeling and verifying in-vehicle networking systems in the presence of CAN and FlexRay;cost-effective regression testing using bloom filters in continuous integration development environments;correlation between the frequent use of gang-of-four design patterns and structural complexity;method level text summarization for java code using nano-patterns;flexible components for development of embedded systems with GPUs;Exniffer: learning to prioritize crashes by assessing the exploitability from memory dump;modeling and verifying identity authentication security of HDFS using CSP;a goal-driven framework in support of knowledge management;extracting insights from the topology of the JavaScript package ecosystem;improving bug localization with an enhanced convolutional neural network;mining handover process in open source development: an exploratory study;an analysis method of safety requirements for automotive software systems;and domain-specific language facilitates scheduling in model checking.
暂无评论