The proceedings contains 16 papers from the Association for Computing Machinery's symposium on the Foundations of softwareengineering. Topics discussed include: global information infrastructure;specification mat...
详细信息
The proceedings contains 16 papers from the Association for Computing Machinery's symposium on the Foundations of softwareengineering. Topics discussed include: global information infrastructure;specification matching;hybrid slicing;interprocedural chopping;model-based service specifications;demand interprocedural dataflow analysis;compositional reachability analysis;configuration management;modular software development;software modularity;and code inspections.
The proceedings contains 18 papers from the Third IEEE International softwareengineering Standards symposium and Forum. Topics discussed include: software quality management;checklists;SEAL software assessment tool;s...
详细信息
The proceedings contains 18 papers from the Third IEEE International softwareengineering Standards symposium and Forum. Topics discussed include: software quality management;checklists;SEAL software assessment tool;software verification and validation;automated tool support;conformity assessment;dependability standards;integration standards;process models;software acquisition;document factory;consensus management;computer based safety related systems;and software process improvement.
The proceedings contain 37 papers. The topics discussed include: exploring the teaching reform of production and operations management course in the context of new business studies;exploration and practice of effectiv...
ISBN:
(纸本)9781450384094
The proceedings contain 37 papers. The topics discussed include: exploring the teaching reform of production and operations management course in the context of new business studies;exploration and practice of effective implementation of online teaching during the epidemic period;disruptive innovation of curricular plans of a faculty in a public university in the process of licensing related to quality indicators;testing a design-based learning approach to enhance elementary students’ computational thinking with experience-sampling method;research on the design of task-based online learning in implementing the flipped classroom teaching;a tentative study of using the social interaction model to improve the effectiveness of literary visits and writing;and the historical review and future outlook of public administration degree programs in Macao-based on the comparative analysis of three schools.
The proceedings contain 28 papers. The topics discussed include: discovery of web frequent patterns and user characteristics from web access logs: a framework for dynamic web personalization;a web-based architecture o...
ISBN:
(纸本)0769505597
The proceedings contain 28 papers. The topics discussed include: discovery of web frequent patterns and user characteristics from web access logs: a framework for dynamic web personalization;a web-based architecture of racks and parts for manager and agent assembly;augmenting sequence constraints in Z and its application to testing;predicting testability of program modules using a neural network;composing requirements for goal-oriented system behaviors using an extended form of use case;how to obtain accurate estimates in a real-time environment using full function points;design reuse and scale: keys to practical code generation and large scale software maintenance;QoS measures and implementations based on various models for real-time communications;fingerprint registration using genetic algorithms;automating the development of pattern-oriented designs for application specific software systems;and issues in realization of an execution time analyzer for distributed real-time objects.
The proceedings contain 53 papers. The topics discussed include: verification and performance analysis for embedded systems;modular development of certified system software;towards expressive specification and efficie...
ISBN:
(纸本)9780769537573
The proceedings contain 53 papers. The topics discussed include: verification and performance analysis for embedded systems;modular development of certified system software;towards expressive specification and efficient model checking;semantics for communicating actors with interdependent real-time deadlines;an efficient algorithm for finding empty space for reconfigurable systems;state visibility and communication in unifying theories of programming;environment abstraction with state clustering and parameter truncating;verification of population ring protocols in PAT;coarse grained retrenchment and the Mondex denial of service attacks;consistency checking for LSC specifications;a framework and language support for automatic dynamic testing of workflow management systems;test data generation for derived types in C program;modeling web applications and generating tests: a combination and interactions-guided approach;and verifying semistructured data normalization using SWRL.
The proceedings contain 25 papers. The topics discussed include: the ergo support system: an integrated set of tools for prototyping integrated environments;object database support for a software project management en...
ISBN:
(纸本)089791290X
The proceedings contain 25 papers. The topics discussed include: the ergo support system: an integrated set of tools for prototyping integrated environments;object database support for a software project management environment;interacting with an active, integrated environment;the workshop system - a practical knowledge-based software environment;a plan-based intelligent assistant that supports the software development process;the relationship between software development environments and the software process;CENTAUR: the system;foundations for the arcadia environment architecture;the software life cycle support environment (SLCSE) a computer based framework for developing software systems;the Ergo attribute system;a software development environment for law-governed systems;transformational derivation of programs using the focus system;PGRAPHITE: an experiment in persistent typed object management;user interface support for the integration of software tools: an iconic model of interaction;team: a support environment for testing, evaluation, and analysis;extended programming in the large in a software development environment;version management in gypsy;an integrated toolset for engineeringsoftware configurations;and a graph transform model for configuration management environments.
This paper reports on the activities and results from the 3(rd) International symposium on softwareengineering Course Projects (SWECP 2006), which was held oil October 19, 2006 in Toronto, Canada as part of the IBM C...
详细信息
ISBN:
(纸本)9780769528939
This paper reports on the activities and results from the 3(rd) International symposium on softwareengineering Course Projects (SWECP 2006), which was held oil October 19, 2006 in Toronto, Canada as part of the IBM CASCON 2006 conference. The symposium explored how educators, students, and industry can work together to develop a more rewarding educational experience for all stakeholders involved in the context of senior design classes and team-based course projects. Several key topics were discussed at the symposium, including team dynamics, the choice of software development process, and the role of advanced softwareengineering tools in design project courses. SWECP 2006 was a sequel to the workshops that were held in 2002 and 2005.
The role of unmanned aerial vehicles (UAVs) in modern warfare is becoming increasingly significant, with the potential to disrupt the rules of warfare and change the form of conflict. This has garnered high attention ...
详细信息
The proceedings contain 70 papers. The topics discussed include: productivity trends in incremental and iterative software development;challenges in enterprise software integration: an industrial study using repertory...
ISBN:
(纸本)9781424448418
The proceedings contain 70 papers. The topics discussed include: productivity trends in incremental and iterative software development;challenges in enterprise software integration: an industrial study using repertory grids;effect of staffing pattern on software project: an empirical analysis;a detailed examination of the correlation between imports and failure-proneness software components;a probability-based approach for measuring external attributes of software artifacts;impact of the visitor design pattern on program comprehension and maintenance tasks;understanding the use of inheritance with visual patterns;applying moving windows to software effort estimation;what do we know about perspective-based reading? an approach for quantitative aggregation in softwareengineering;cognitive factors in perspective-based reading: a protocol analysis study;and fitting a workflow model to captured development data.
暂无评论