Thec proceedings contain 41 papers. The topics discussed include: modeling change as a first-class entity;engineering large-scale software-intensive systems;an asset-based architecture design methodology for rapid tel...
详细信息
ISBN:
(纸本)0769527787
Thec proceedings contain 41 papers. The topics discussed include: modeling change as a first-class entity;engineering large-scale software-intensive systems;an asset-based architecture design methodology for rapid telecom service delivery platform development;prerequisites for successful architectural knowledge sharing;dynamic protocol aggregation and adaptation for service-oriented computing;influence control for dynamic reconfiguration;a formal model service-oriented design structure;Web service recommendation based on client-side performance estimation;supporting OO design heuristics;using stealth mixins to achieve modularity;suitability of object and aspect oriented languages for software maintenance;and reusable SW requirements development process: embedded SW industry experiences.
The proceedings contain 31 papers. The topics discussed include: assessing usability from formal user-interface designs;applying static analysis to large-scale, multi-threaded Java programs;pattern-based reuse of succ...
ISBN:
(纸本)0769512542
The proceedings contain 31 papers. The topics discussed include: assessing usability from formal user-interface designs;applying static analysis to large-scale, multi-threaded Java programs;pattern-based reuse of successful designs: usability of safety-critical systems;on the relationships of faults for Boolean specification based testing;on the effectiveness of mutation analysis as a black box testing technique;extending UML use case modelling to support graphical user interface design;testing Java monitors through deterministic execution;animation can show only the presence of errors, never their absence;component adaptation for web services;a framework for an active interface to characterise compositional security contracts of software components;evaluation of virtual world systems;developing software components with the UML, enterprise Java beans and Aspects;an agent-based approach to computer assisted code inspections;and capturing implicit softwareengineeringknowledge.
The proceedings contain 17 papers. The topics discussed include: enterprise ontology and the identification of business components;document-driven software design - a novel approach that should not be novel;principles...
ISBN:
(纸本)9789898111104
The proceedings contain 17 papers. The topics discussed include: enterprise ontology and the identification of business components;document-driven software design - a novel approach that should not be novel;principles for requirements processes at the dawn of the 21st century;creativity, automation and technology;service science for market services;open source software adoption in Beaumont hospital - anatomy of success and failure;representing languages in UML - a UML profile for language engineering;automated unit testing for agent systems;weak measurement theory and modified cognitive complexity measure;supporting design patterns in graph rewriting-based model transformation;defining and using a metamodel for document-centric development methodologies;and visual software modelling with extended rule-based model - a knowledge-based programming solution for general software design.
Power electronic converters are key components in modern power systems. Due to the special characteristics such as processing power flow and operating in switching mode, the layout and routing of power electronic conv...
详细信息
The proceedings contain 39 papers. The topics discussed include: assumption generation for software component verification;an approach to rapid prototyping of large multi-agent systems;generative design patterns;devia...
ISBN:
(纸本)0769517366
The proceedings contain 39 papers. The topics discussed include: assumption generation for software component verification;an approach to rapid prototyping of large multi-agent systems;generative design patterns;deviation analysis through model checking;experience report on automated procedure construction for deductive synthesis;generating product-lines of product-families;knowledge-based synthesis of numerical programs for simulation of rigid-body systems in physics-based animation;no Java without caffeine: a tool for dynamic analysis of Java programs;and constructing CORBA-supported Oracles for testing: a case study in automated software testing.
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 basedsoftware 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 basedsoftware 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 softwarebased 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 10 papers. The topics discussed include: an effective method for keeping design artifacts up-to-date;leveraging semantic data wikis for distributed requirements elicitation;wiki-based requireme...
ISBN:
(纸本)9781424437429
The proceedings contain 10 papers. The topics discussed include: an effective method for keeping design artifacts up-to-date;leveraging semantic data wikis for distributed requirements elicitation;wiki-based requirements management for business process reengineering;smartwiki: support for high-quality requirements engineering in a collaborative setting;a spatial hypertext wiki for architectural knowledge management;investigating wikis for softwareengineering - results of two case studies;software organization platform: integrating organizational and individual learning;role-based wiki for reuse of off-the-shelf components;and interdisciplinary collaboration through wikis in software development.
The proceedings contain 77 papers. The topics discussed include: construction by configuration: challenges for softwareengineering research and practice;ontology-basedsoftwareengineering- softwareengineering 2.0;s...
详细信息
ISBN:
(纸本)0769531008
The proceedings contain 77 papers. The topics discussed include: construction by configuration: challenges for softwareengineering research and practice;ontology-basedsoftwareengineering- softwareengineering 2.0;software architecture knowledge management;service oriented architecture: making the leap, leveraging model driven architecture and achieving software agility with BPM, SOA and MDA [registered trademark];layered software challenge of wireless technology in the oil and gas industry;targeted change, are you already irrelevant?;fitting software to organization: reducing time to value for new software systems;alternative Web service paradigms;wireless sensor networks: introduction to installation and integration on an offshore oil and gas platform;and towards a unified framework for cohesion measurement in aspect-oriented systems.
The proceedings contain 16 papers. The topics discussed include: utilizing recommender systems to support software requirements elicitation;recommendation and decision technologies for requirements engineering;towards...
ISBN:
(纸本)9781605589749
The proceedings contain 16 papers. The topics discussed include: utilizing recommender systems to support software requirements elicitation;recommendation and decision technologies for requirements engineering;towards knowledge assisted agile requirements evolution;recommending source code examples via API call usages and documentation;towards a better code completion system by API grouping, filtering, and popularity-based ranking;a recommendation framework for allocating global software teams in software product line projects;component recommendation for cloud applications;on recommending meaningful names in source and UML;predicting the fix time of bugs;what is trust in a recommender for software development?;assisting engineers in switching artifacts by using task semantic and interaction history;and proposing software design recommendations based on component interface intersecting.
The proceedings contain 34 papers. The topics discussed include: exonovation-leveraging the innovation of others;getting students to think about how agile processes can be made more secure;integrating secure software ...
详细信息
ISBN:
(纸本)9780769531441
The proceedings contain 34 papers. The topics discussed include: exonovation-leveraging the innovation of others;getting students to think about how agile processes can be made more secure;integrating secure software assurance content with SE2004 recommendations;a softwareengineering course with an emphasis on software processes and security;improving knowledge acquisition in capstone projects using learning spaces for experiential learning;the value of a real customer in a capstone project;the current state of softwareengineering masters degree programs;undergraduate softwareengineering student in startup business;using alice in overview courses to improve success rates in programming;teaching object-oriented softwareengineering through problem-based learning in the context of game design;and single development project.
暂无评论