Automated testing of healthcare document transformations in the PICASSO interoperability platform
Software engineering for user interfaces
Agent-based mood spread diffusion model for GPU
Dragonfly: linking conceptual and implementation architectures of multiuser interactive systems
What scope is there for adopting evidence-informed teaching in SE?
Software Security Engineering Monitoring and Control
Issues in the Evaluation of User Interface Tools
Decentralised process modelling in a multi-perspective development environment
Applying serious games to intelligence analysis
Software engineering project management, estimation and metrics: discussion summary and recommendations
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Reducing cost in regression testing of web service
Modeling aspect mechanisms: a top-down approach
Satellite network design method applicable to orbit determination and communication for GNSS
XP south of the equator: an eXPerience implementing XP in Brazil
Code coverage for suite evaluation by developers
Data driven reconfiguration for performance improvements: a model based approach
Real-time iris localization for iris recognition in cellular phone
Static analysis of concurrent higher-order programs
Incorporating varying test costs and fault severities into test case prioritization
Beyond templates: a study of clones in the STL and some general implications
From design to redesign
Multiport network method and using it for accurate design of square spiral antennas
Program transformations to fix C integers
Virtual reality in software engineering: affordances, applications, and challenges
Search-enhanced testing (NIER track)
Automotive software engineering
Increasing the Efficiency of Cooperation among Agents by Sharing Actions
Electrical Characteristics of 100 MeV 28Si implantation in GaAs
An efficient and scalable algorithm for the traveling salesman problem
Building a Corpus-Derived Gazetteer for Named Entity Recognition
Computer-assisted assume/guarantee reasoning with VeriSoft
Holmes: an intelligent system to support software product line development
TEM Characterization of Nickel Silicide Process
1st international workshop on natural language analysis in software engineering (NaturaLiSE 2013)
Automatic Test Case Generation for UML Activity Diagrams
The hidden experts in software-engineering communication (NIER track)
A tactic-centric approach for automating traceability of quality concerns
Adaptive modulation for OFDM system using fuzzy logic interface
A Fault-Tolerant Software Architecture for Component-Based Systems
Mining Opinions in User-Generated Contents to Improve Course Evaluation
PMG-pro: A model-driven method for the development of service-based applications in a heterogenous services environment
Generic-Events Architecture: Integrating Real-World Aspects in Event-Based Systems
A world full of surprises: bayesian theory of surprise to quantify degrees of uncertainty
Parametric Software Metric
SET-MM – A Software Evaluation Technology Maturity Model
Camouflage: automated anonymization of field data
The state of the art and issues in software process tailoring
Experience assessing an architectural approach to large-scale systematic reuse
Collaboration, conflict and control: the 4th workshop on open source software engineering
Composable context-aware architectural connectors
How to measure software reliability, and how not to
Plasma-assisted MOCVD growth of GaMnN
Multidisciplinary Collaborative Optimization Design for Oil Tanker Concept Design
Integrating architecture and familiarization in CBD
Infringo ergo sum: when will software engineering support infringements?
Study of coreless planar inductor at high operating frequency
Beg, borrow, or steal: using multidisciplinary approaches in empirical software engineering research
Dynamic awareness of network security situation based on stochastic game theory
Engineering education Study:Software engineering teaching valuation in Colleges of China
MatForce: supporting rapid algorithm development by automated translation of MatLab prototypes into C++
Notice of Retraction Design and Optimization of multi echelon Green Distribution Network
Commit 2.0: enriching commit comments with visualization
Concepts of modeling architectural module views for compliance checks based on architectural styles
How social software supports cooperative practices in a globally distributed software project
Third Time Charm: Stronger Replication of the Ability of Software Complexity Metrics to Predict Programmer Performance
C aramel : detecting and fixing performance problems that have non-intrusive fixes
Cooperative caching in mobile ad hoc networks through clustering
Predicate-based test generation for computer programs
Specifications a key to effective software development
XVCL: XML-based variant configuration language
Differential static analysis: opportunities, applications, and challenges
Proceedings of the 3rd International Workshop on Automation of Software Test, AST 2008, Leipzig, Germany, May 11-11, 2008.
The Gas Sensing Potential of Nanocrystalline SnO2 and In2O3 Powders Prepared by Mechanical Milling
Education impact of evolutionary software development
Data locality optimization for a parallel object detection on embedded multi-core systems
Seeding the cloud in a secured way: Cloud adoption and security compliance assessment methodologies
Third international workshop on graph and model transformations
Features Selection for Training Generator Excitation Neurocontroller Using Statistical Methods
Software architecture: practice, potential, and pitfalls
A framework for process-based collaborative systems design
A case study for technologys' plan projects management system
Do the fix ingredients already exist? an empirical inquiry into the redundancy assumptions of program repair approaches
Determining Bug severity using machine learning techniques
Charge trapping in interpoly ONO film
License plate location method based on texture and color
Formal methods as a link between software code and legal rules
Building problem domain ontology from security requirements in regulatory documents
Automatic testing of sequential and concurrent substitutability
Design and implementation of tidal level warning system
Notice of Retraction Design and implementation of the coal enterprises electromechanical equipment management system based on B/S
Analysis of Bidding Strategy on Decision Support System for Smart Grid
Synchronization and recovery in database systems
Specification patterns for probabilistic quality properties
UseCaseDiff: An Algorithm for Differencing Use Case Models
Educating software engineering managers: revisited: what software project managers need to know today
A dynamic pair-program sending architecture for industrial remote operations
Review of Frameworks in Requirement Engineering (RE)
Block medical image fusion based on adaptive PCNN
Working Group on Formal Methods in HCI and Software Engineering
Automatic Analysis of Static Execution Time for Complex Loop Contained External Input
Calculating architectural reliability via modeling and analysis
Modular checking for buffer overflows in the large
Introduction to the attribute driven design method
Development of scientific data sharing of water resources and sharing service system construction in China
A machine learning approach for tracing regulatory codes to product specific requirements
Strategies for product-line verification: case studies and experiments
Representation of factual information by equations and their evaluation
Deadlock Detector for Synchronous Java.
NuEditor – A Tool Suite for Specification and Verification of NuSCR
Algorithmic Systems Ecology: Experiments on Multiple Interaction Types and Patches
A survey on: An analysis of secure routing of volatile nodes in MANET
Reverse-engineering of an industrial software using the unified process: an experiment
JST: an automatic test generation tool for industrial Java applications with strings
A fast spatial partition method in bounding volume hierarchy
Dynamic and selective combination of extensions in component-based applications
Semi-automated traceability maintenance: An architectural overview of traceMaintainer
Weak point and improvement of CMOS Schmitt Trigger Circuit used in Microcontroller about ND-mode ESD
Genetic routing Algorithm based on adjacency-constraint matrix
An investigation to find the gap between academy output and software industry skill requirement
Documenting and sharing knowledge about code
A Methodology for Scenario-Based Requirements Capture
Switching converter with highly stable delta-sigma modulator
Implement and application for Virtual Assembly Platform based on PC
An options approach to software prototyping
Two-order low-power sigma-delta modulator with SC techniques
Component based data and image processing systems — A conceptual and practical approach
The finalization operation for abstract types
A study of student strategies for the corrective maintenance of concurrent software
A transformation approach for security enhanced business processes
Rigi: a visualization environment for reverse engineering
Teaching contract programming concepts to future software engineers
Automated Test Suite Generation for Time-Continuous Simulink Models
Intersection of software methodologies and ITIL V3
Inter-language object sharing with the common language runtime: infrastructure for MS.NET
Software engineering for secure systems
Software Development Process From Natural Language Specification
A hybrid architectural style for distributed parallel processing of generic data streams
The last mile: parallel programming and usability
A framework for software safety analysis with rough sets
3rd international workshop on collaborative teaching of globally distributed software development (CTGDSD 2013)
Automated analysis of CSS rules to support style maintenance
Poster: Model-based Run-time Variability Resolution for Robotic Applications
Computer Professional Ethics in Theory and in Practice
Does automated refactoring obviate systematic editing?
Support of user interface design aspects in a framework for distributed cooperative applications
Effort estimation from change records of evolving software (poster session)
Embedded Backups for Link Failure Recovery in Shortest Path Trees
Research and design of ID3 algorithm rules-based anti-spam email filtering
Requirements engineering for product families
Teaching and Learning with the Internet
Role Migration and Advancement Processes in OSSD Projects: A Comparative Case Study
Mining time series data: Case of predicting consumption patterns in steel industry
ICSE 2003 WADS Panel: Fault Tolerance and Self-Healing
An Improved Discrete Particle Swarm Optimization Algorithm for a Single Batch-Processing Machine with Non-identical Job Sizes
Is the new economy socially sustainable? (abstract of invited presentation)
The educational modeling contributions to the software engineering teaching according to the experience in the new computer schedule of courses at the University Jaume I
AntiPatterns in software architecture
The FPGA approach in the design and development of an automated rail transit system controller
The second ISEW cleanroom workshop
Agent-Based Grid Resource Management
Recording the reasons for design decisions
Rule-based approach to computing module cohesion
CAMLE: A Caste-Centric Agent-Oriented Modelling Language and Environment
A Research on High Availability Mechanism of Virtual Machine Based on Ceph
Experience of designing and using domain specific languages for OLTP applications
Quick search algorithms based on ethnic facial image database
Synthesis of nanoflake ZnO
Classpects: unifying aspect- and object-oriented language design
Using formal concept analysis to construct and visualise hierarchies of socio-technical relations
"Usage-centered software engineering: new models, methods, and metrics"
Death, Social Networks and Virtual Worlds: A Look Into the Digital Afterlife
PEARL At the Age of Three
Design of thermal dual-mass MEMS gyroscope with 2-DoF drive mode oscillator
Defining usability quality metric for mobile game prototype using software attributes
Study and design on high reliability mass capacity memory
Research on enhancing the effectiveness of the Chinese text automatic categorization based on ICTCLAS segmentation method
JUnitMX - A change-aware unit testing tool
A Study of Feedback in Software Supported Networked Systems
Proceedings of the 7th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
The research of system wide information management based on SOA
A Collaborative Intrusion Detection System against DDoS Attack in Peer to Peer Network
Tailoring OMT for an industry software project
Experimental analysis of read related transistors’ gate width sizing effects on the 3T1D DRAM access time curve
Systematically refactoring inheritance to delegation in java
Mining Security-Sensitive Operations in Legacy Code Using Concept Analysis
System dynamics modeling of an inspection-based process
Software engineering for business applications: twenty years of software engineering (panel session): looking foward, looking back
Use of software inspection inputs in practice
Lilith: A personal computer for the software engineer
Symbiotic general-purpose and domain-specific languages
Construction and evaluation on smart substation information integration scheme
Modeling the software process (panel session)
30 GHz SPDT switch design using 0.15 μm GaAs technology for microwave applications
Future of end-user software engineering: beyond the silos
Where do you go when you're through the turnstile? [telecommunication software development]
Cryptolysis: A Framework for Verification of Optimization Heuristics for the Automated Cryptanalysis of Classical Ciphers and Natural Language Word Segmentation
Selected principles and activities for software maturity in small and medium software enterprises
Encouraging the development of transferable skills through effective group project work
Staying afloat in an expanding sea of choices: emerging best practices for eclipse rich client platform development
Situational awareness: personalizing issue tracking systems
How, and why, process metrics are better
Simulation study of solar energy conversion for hybrid microgenerator cell
Discussing of factory pattern in embroidery CAD
The study of bidding service cloud platform in power business expanding based on SaaS
Research on fast cost estimation of project in project family based on case based reasoning
A novel deep model for image recognition
Optimizing object reference checks on real-time Java virtual machine
Integrated program measurement and documentation tools
A cost-benefit framework for making architectural decisions in a business context
Improving design and source code modularity using AspectJ (tutorial session)
Metrics for information retrieval: a case study
Efficient specification-assisted error localization
Research on the forecasting model of the main cargo throughput of Dalian port
Al2O3-SiO2 based LTCC tape for packaging of RF devices
Design and implementation of an ASP.NET-based digital archives management system
Implementing the concept of refactoring in software development
A new semi-blind watermarking scheme based on DWT-subsampling
Intermediate Knowledge trough Conceptual Source-Code Organization
Invariant-based automatic testing of AJAX user interfaces
Finding Boundary Objects in SE and HCI: An Approach Through Engineering-oriented Design Theories
UML-based service robot software development: a case study
Detecting recurring and similar software vulnerabilities
On identifying user complaints of iOS apps
An interdisciplinary approach to multimedia systems education: the Otago experience
Conducting Sb-doped SnO2 as gas sensor
Building awareness of system testing issues
The Bezier Curve Representation of Binary Phase Diagram
Patterns Approach to Building Software Systems
Web Application on Information System Based on Cloud Computing and SceneSimulation
Preliminary description of NACK-based ad-hoc On-demand Distance Vector routing protocol for MANETs
Workshop on software quality
Check 'n' crash: combining static checking and testing
Design and Implementation of a Course Scheduling System Using Activation Spreading
Synthesizing self-adaptive connectors meeting functional and performance concerns
Second international workshop on product line approaches in software engineering (PLEASE 2011)
Towards reusable components with aspects
A Improved PrefixSpan algorithm for sequential pattern mining
Multi-tier architecture water well monitoring system based on GPRS
Program transformations to fix C buffer overflows
Fifth international workshop on software clones (IWSC 2011)
Experience report on software reuse project: its structure, activities, and statistical results
Workshop on Emerging Trends in Software Metrics (WETSoM 2010)
Applications of XRD and TOF-SIMS in failure analysis of SiGe epi wafer
Inquiry-Based Science Education in Secondary School Informatics – Challenges and Rewards
Integrating Deadline-Constrained Checkpointing in a Batch Scheduler for Dynamic Environments
Problem Structure and Dependable Architecture
Investigating the Performance of RF MEMS Switches
A Toolset for Support of Teaching Formal Software Development
A methodology for prototyping-in-the-large
Study on the method of visual navigation baseline identification and extraction of agricultural machinery
Tracking, predicting and assessing software reuse costs: an automated tool
Performance analysis and portability issues of 64-bit message passing interface for Tera scale system
12N test procedure for NPSF testing and diagnosis for SRAMs
Real-Time Migration Properties of rTiMo Verified in Uppaal
Using the CMM to evaluate student SE projects
Estimating footprints of model operations
Achievements and challenges of Model Based Testing in industry
Fault detection method based on file naming algorithm for ocean observing network
Lightweight adaptive filtering for efficient learning and updating of probabilistic models
A view of 20th and 21st century software engineering
The design of data type specifications
New strategies in the order picking process
Interactive transformation of java programs in eclipse
Qualitative Analysis and Simulation of Open Source Software Evolution
Public Deployment of Cooperative Bug Isolation
Research on diverse teaching mode in mathematical courses based on Network Class
Systematic testing of reactive software with non-deterministic events: a case study on LG electric oven
Prediction of the protein O-glycosylation by machine learning and statistical characters around the glycosylation sites
Mining and visualizing developer networks from version control systems
MASH: a tool for end-user plug-in composition
Designing software for use by humans, not machines
Social media video popularity evolution analyzing based on information spreading model
Proceedings of the First International Conference on Software Engineering and Formal Methods
Automatic enforcement of architectural design rules
Comparative evaluation of semantic web service composition approaches
Using process technology to control and coordinate software adaptation
Formal specification and automatic programming
Effects of Substrate Temperature on the Properties of Hydrogenated Nanocrystalline Silicon Thin Film Grown by Layer-by-Layer Technique
Derivation of program models for web application systems using meta-models
Efficient decentralized monitoring of safety in distributed systems
Refactoring merging environment supported by graph transformations
Members of cooperatives in China's underdeveloped areas of satisfaction with influence factors analysis
The Optimal Temporal Common Subsequence
Social network analysis of information diffusion on Sina Weibo micro-blog system
A critical overview of computer performance evaluation
Developing Innovative Software in Brazilian Public Universities: Tailoring Agile Processes to the Reality of Research and Development Laboratories
License integration patterns: Addressing license mismatches in component-based development
A fast and accurate multi-level B-spline approximation with adaptive lattice partitioning and independent subregions transformation
The use of program dependence graphs in software engineering
A large-scale empirical study of practitioners' use of object-oriented concepts
A Study on Real-time Cooperative Ship Design System
Towards recognizing and rewarding efficient developer work patterns
Getting started on metrics–JPL productivity and quality
Simulating the behaviour of software modules by trace rewriting
The role of software in successful computer applications
Challenges and problems in release management process: A case study
Mining configuration constraints: static analyses and empirical results
Formalizing Metrics for COTS
Multi-Agent control system
A robust B-tree implementation
Advanced Unit Testing: How to Scale up a Unit Test Framework
Achieving usability through software architecture
Evidence of the presence of bias in subjective metrics: analysis within a family of experiments
Approximating attack surfaces with stack traces
Dynamic round-trip GUI maintenance
A comprehensive evaluation model for BASE transaction processing
Colloidal self-organization for nanoelectronics
Writing dynamic service orchestrations with DSOL
Delayering of Gate Poly in Stack & Split Gate Memory Structure
On the uniformity of software evolution patterns
Fault-prone module prediction of a web application using artificial neural networks
Software engineering challenges in bioinformatics
EEG signals for emotion recognition
Software quality assessment technology
Predictive Model of Energy Cost in Steelmaking Process Based on BP Neural Network
Observations on the interaction between coding and efficiency knowledge in the PSI Program Synthesis System
Pre-workshop summary: workshop on iterative, adaptive, and agile processes
LEAKPOINT: pinpointing the causes of memory leaks
Mobile Augmented Reality with Audio
Blue organic light emitting diode (OLED) from two-layer structure of 4,4'-bis(2,2'diphenylvinil)-1,1'-biphenyl (DPVBi) and PVK
An integrated multi-agent-based simulation approach to support software project management
A Performance Modeling Framework Incorporating Cost Efficient Deployment of Multiple Collaborating Instances
Do we need specific quality models for multi-agent systems? Toward using the ISO/IEC 25010 quality model for MAS
A Framework for Flexible and Dependable Service-Oriented Embedded Systems
Comparison of hardware accelerators for some ALICE online computing applications
Rapid multi-purpose, multi-commit code analysis
A systematic approach to transforming system requirements into model checking specifications
Reusing single system requirements from application family requirements
Session 1A (Panel Session): Panel—the national software engineering projects
Detecting model inconsistency through operation-based model construction
Handling Emergent Nondeterminism in Replicated Services
A new approach to vehicle positioning based on region of interest
OpenGL-based interactive graphic treatment planning interface realization for transcranial focused ultrasound brain-blood barrier opening
TAXI--A Tool for XML-Based Testing
Rapid Prototyping of a Semantically Well Founded Circus Model Checker
Run-time efficient probabilistic model checking
Formal Methods for Broadband and Multimedia Systems
Pragmatic Software Metrics for Iterative Development
User interface prototyping—concepts, tools, and experience
Formalizing class diagram in UML
Should end user computing be in the computing curriculum?
An empirical comparison of dynamic impact analysis algorithms
The Integration of HCI and Software Engineering
Inexpensive, Simple and Quick Photorealistic Facial Modeling
Adaptation of Refactoring Strategies to Multiple Axes of Modularity: Characteristics and Criteria
Framework and design of a cotton-spinning enterprise's management system based on J2EE
Agile adoption experience: A case study in the U.A.E
The use of task analysis methods in support of the development of interactive systems
HLA compliant network enabled distributed modeling and simulation infrastructure design
Formal methods for broadband and multimedia systems (tutorial)
Modeling the Effect of Size on Defect Proneness for Open-Source Software
Architectural support for trust models in decentralized applications
Copyright in shareware software distributed on the Internet—the Trumpet Winsock case
A program complexity metric based on data flow information in control graphs
A bidirectional graph transformation approach to analysis of concurrent software models
Is “sometime” sometimes better than “always”?: Intermittent assertions in proving program correctness
Requirements engineering: a roadmap
Information systems architecture
Vehicle System Development: A Challenge of Ultra-Large-Scale Systems
Design Patterns for Object-Oriented Software Development
Projecting with Emotion Methodology: Learning from drawings
Industry involvement in ICT curriculum: a comparative survey
Face recognition using multiple rigid regions matching
Human-centric software engineering
Increasing anomaly handling efficiency in large organizations using applied machine learning
Visual languages for event integration specification
Research on technology adoption and promotion strategy of MOOC
Towards enterprise transition to object technologies: a CMM-based methodology
The hard life of open source software project newcomers
Software architecture for the ECU of automated manual transmission
Ævol: A tool for defining and planning architecture evolution
Development modeling of software based on performance process
A temporal logic approach to component-based system specification and verification
Some reflections on the design process in software engineering and HCI
Third International Workshop on Software Engineering for High Performance Computing (HPC) Applications
A low voltage, high output impedance CMOS current source
Five years of product line engineering in a small company
Software as a Service in the Shipping Sector
A Novel Feature Selection Approach and Feature Weight Adjustment Technique in Text Classification
Experimental context classification: incentives and experience of subjects
The development of a dashboard tool for visualising online teamwork discussions
Notice of Retraction Research on distribution mechanism of supply chain risk based on cooperative games
Mind the gap: assessing the conformance of software traceability to relevant guidelines
Extensible specifications for automatic re-use of specifications and proofs
Transition to Sustainability: Italian Scenarios Towards a Low-Carbon Economy
Reducing and estimating the cost of test coverage criteria
XMIDDLE: information sharing middleware for a mobile environment
Scene image recognition with multi level resolution semantic modeling
The Chinese keywords extraction algorithm based on association rule mining
1st international workshop on data analysis patterns in software engineering (DAPSE 2013)
An Algorithm for drawing tunnel based on ObjectARX
Degradation of Single Layer MEH-PPV Organic Light Emitting Diode (OLED)
Incorporating human intention into self-adaptive systems
Software engineering 2004: ACM/IEEE-CS guidelines for undergraduate programs in software engineering
A MIMO-OFDM based location algorithm in LTE system
3rd international workshop on software engineering for systems-of-systems (SESoS 2015)
The Study of Multidimensional-Data Flow of Fishbone Applied for Data Mining
Back reflection and pump instability effects on a fiber laser system
Supporting dependable distributed applications through a component-oriented middleware-based group service
Software Engineering Research Agendas A View From The Trenches
Software architecture: foundations, theory, and practice
Integrated LC VCO Compatible with Memory Process for Gigahertz Clock Generation
Measuring subversions: security and legal risk in reused software artifacts
The role of logic and AI in the software enterprise (panel session): panel description
Developing and deploying software engineering courseware in an adaptable curriculum framework
Developing and deploying software engineering courseware in an adaptable curriculum framework
A Greedy Approach for Adapting Web Content for Mobile Devices
Data flow based test case generation algorithm for object oriented integration testing
A passive telemetry LC pressure sensor optimized for TPMS
Software Agents for E-Commerce Data Workflow Management
Investigation of requirements selection quality in market-driven software processes using an open source discrete event simulation framework
Component-based self-adaptability in peer-to-peer architectures
Developing cost-effective model-based techniques for GUI testing
The project library - a tool for software development
A New Approach for Adjusting Braille Image Skewness in Optical Braille Recognition
Studies on A New Sela-FIB Sample Preparation Method and Its Application in Failure Analysis of Wafer Fabrication for 110nm Technology Node and Beyond
ReAssert: a tool for repairing broken unit tests
Using two heads in practice
An empirical investigation into the role of API-level refactorings during software evolution
Anywhere, anytime code inspections: using the Web to remove inspection bottlenecks in large-scale software development
On the subthreshold measurements of SIC MOSFETs
A survey of user classification in social networks
After the C++ appetiser comes the COBOL main course
The impact of software development team dynamics on the knowledge management process
TestTube: a system for selective regression testing
Academic software engineering: what is and what could be? Results of the first annual survey for international SE programs
Reproducing software failures by exploiting the action history of undo features
Exploring O-O framework usage (poster)
Developer-Driven Big-Bang Process Transition from Scrum to Kanban
Locating causes of program failures
A structural testing approach for Aspect-Oriented Programs based on data and control flow
An Input-Driven Approach to Generate Class Diagram and Its Empirical Evaluation
Networking Resources for Research and Scientific Education in BW-eLabs
A web-oriented architectural aspect for the emerging computation tapestry
Collaborative software engineering
MeCC: memory comparison-based clone detector
A Mediator-Based Architecture for Capability Management
Socio-technical congruence (STC 2008)
Non-Functional Requirements for COTS Software Components
A Threat Model Driven Approach for Security Testing
A Threat Model Driven Approach for Security Testing
Formal specification techniques (extended abstract)
An inventory optimization model based on BP neutral network
Feedback-Directed Random Test Generation
Design and implementation of a real-time data acquisition system based on IEC61870-5-104 for distribution network
Real-time gesture recognition using 3D depth camera
Advanced visual modeling (tutorial session): beyond UML
ICSE'99 workshop on web engineering
Second International Workshop on Software Research and Climate Change
Power management in wireless ad hoc networks using AODV
Optimation of Xen scheduler for multitasking
A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems
CADES - software engineering in practice
A Method for Constructing a Company Specific Enterprise Architecture Model Framework
Supporting reflective practitioners
Using an issue-based model in a team-based software engineering course
Expressing the relationships between multiple views in requirements specification
A study of equivalent and stubborn mutation operators using human analysis of equivalence
Applying a Feedforward Neural Network for Predicting Software Development Effort of Short-Scale Projects
Software engineering and the Internet
Research on control policy for engineering Surveillance of Internet of Things
Post-dominator analysis for precisely handling implicit flows
Multi-objective optimization for dynamic virtual machine management in cloud data center
The grading scheme based on fuzzy comprehensive evaluation and analytic hierarchy process for classified protection of information system
Design and Analysis of Insulate Gate Bipolar Transistor (IGBT) with P+/SiO2 Collector Structure Applicable to High Voltage to 1700 V
The software engineering laboratory: an operational software experience factory
A study on partnerships within corporate alliances and partnership management
Agent-oriented modeling using ANote
An Experience Using JASMINUM - Formalization Assisting with the Design of User Interfaces
Early prediction of software component reliability
Human capacities in the software process: empiric validation
Studies on elimination solutions of galvanic corrosion on microchip Al bondpads in wafer fabrication and assembly processes
Grow fast, grow global: how the Irish software industry evolved to this business model
AST-based multi-language plagiarism detection method
A demand-driven analyzer for data flow testing at the integration level
Users' views of facial expressions and body gestures in e-learning interfaces: an empirical evaluation
A case study of NMOS AC hot carrier injection lifetime improvement
Research on mining energy measurement system based on the ZigBee
The preparation of Copper phthalocyanine thin film on silicon substrate for solar cell application
Analysis of Poly Resistor Mismatch
Genetics as a role model for software variability management
A survey of query expansion, query suggestion and query refinement techniques
A Jewelry Data QRCode Generation Service Based on Agent Technology
Leveraging XML technologies in developing program analysis tools
Required level of motivation to revitalize the workforce in software industry of Pakistan
A Data Model to Support End User Software Engineering
Proceedings of the 19th international conference on Software engineering
Instant consistency checking for the UML
Improving enterprise software maintenance efficiency through mining software repositories in an industry context
Model structure health monitoring
Methodology for migration of long running process instances in a global large scale BPM environment in credit suisse's SOA landscape
The Factory Pattern in API Design: A Usability Evaluation
Software engineering tools and environments: a roadmap
A medical image archive solution in the cloud
One implementation of the system for application version tracking and automatic updating
GRAIL/KAOS: an environment for goal-driven requirements engineering
Requirements and architectures: two sides of the same coin
Saturation parameters of erbium doped fibre amplifiers
Modeling of real-time embedded systems using SysML and its verification using UPPAAL and DiVinE
A proposal for consistency checking in dynamic software product line models using OCL
Soccer videos analysis based on the active discriminant model
Is mutation an appropriate tool for testing experiments? [software testing]
The impact of pair programming on student performance, perception and persistence
Secure Migration of Legacy Applications to the Web
Boa: a language and infrastructure for analyzing ultra-large-scale software repositories
Identification of tandem repeats based on Fourier Transform
FeatureIDE: A tool framework for feature-oriented software development
Investigation of the Torsion and Bending effects on Static Stability of Electrostatic Torsional Micromirrors
Designing software for ease of extension and contraction
Dimensions of software engineering course design
Phones' private data protection and synchronization based on Android OS
Power: A tool for quantitative evaluation of software project effectiveness
Interaction-based test-suite minimization
Using Server Pages to Unify Clones in Web Applications: A Trade-Off Analysis
Time series analysis for bug number prediction
Code web: data mining library reuse patterns
An electricity-sale-support and information-sharing design scheme based on Web
Characteristics of the vulnerable code changes identified through peer code review
Research on QOS policy conflict detection and resolution technology
Efficient and precise dynamic impact analysis using execute-after sequences
Safe memory-leak fixing for C programs
Testing Software Modelling Tools Using Data Mutation
An open framework for dynamic reconfiguration
An interdisciplinary approach to scientific modeling and simulation
Computing environments for flexible teams
Non-embedded audio watermark based on wavelet transform
Transactional Web Services Composition: A Genetic Algorithm Approach
A proposal for a requirements elicitation tool to increase stakeholder involvement
Experiences with place lab: an open source toolkit for location-aware computing
Personalising sports events viewing on mobile devices
2nd international workshop on the twin peaks of requirements and architecture (TwinPeaks 2013)
QoS architecture for cloud-based media computing
Strain cancellation by indium incorporation for the calibration of nitrogen fractions in GaAsN
Aspect-oriented software development beyond programming
Design of fruits warehousing monitoring and control system based on WiFi
The Role of Agreements in IT Management Software
Completeness and consistency in hierarchical state-based requirements
ViDI: the visual design inspector
Stochastic Dependability Analysis of System Architecture Based on UML Models
Clonetracker: tool support for code clone management
An empirical study of global software development: distance and speed
Static analysis tools as early indicators of pre-release defect density
Hybrid quasi-3D DWT/DCT and SVD video watermarking
Distributed component technologies and their software engineering implications
Automatic verification of real-time designs
Proposition of a model of data backup in XML format
EasyAccept: A Tool to Easily Create, Run and Drive Development with Automated Acceptance Tests
Study on extendable spatial decision support system based on service
Evaluating user interfaces using techniques from qualitative data analysis
Assume-guarantee verification of source code with design-level assumptions
Hybrid test data generation
The application and study of a neural network model based on multivariate phase space reconstruction
The effect of department size on developer attitudes to prototyping
The design and implementation of a gravity sensor-based mobile phone for the blind
A standard software application development: SAP R/3
Observations and lessons learned from automated testing
The Case for Multiple Views
Power analysis attack and countermeasure on the Rabbit Stream Cipher (position paper)
2nd SEMAT workshop on a general theory of software engineering (GTSE 2013)
Services objectivization : A ranking approach
Timed High-Order p Calculus and Multi-resolution Time Constraints
Experience report: use of video for program documentation
Design of ECG acquisition system based on Bluetooth wireless communication
Implementing Reliability: The Interaction of Requirements, Tactics and Architecture Patterns
Amorphous silicon thin-film transistor gate driver circuit design optimization using a simulation-based evolutionary technique
Study on pH sensing properties of RF magnetron sputtered tantalum pentoxide (Ta 2 O 5 ) thin film
Foreground and Shadow Segmentation by Exploiting Multiple Cues
Improved social trustability of code search results
System-on-a-chip approach for industrial robotic controller design
Mining software repositories using topic models
Dementia and social sustainability: challenges for software engineering
Software engineering and the CHI & CSCW communities
Open Source Software Process: A Potential Catalyst for Major Changes in Electronic Health Record Systems
Usage-Centered Design and Software Engineering: Models for Integration
New challenges in accounting applications software for developing double-input bookkeeping
Selecting requirement elicitation techniques for software projects
System thinking: educating t-shaped software engineers
WebLang: A Language for Modeling and Implementing Web Applications
Toward sustainable software engineering (NIER track)
Journey of enlightenment: the evolution of development at Microsoft
Software Cost Estimation Using SVR Based on Immune Algorithm
Run-time adaptation of mobile applications using genetic algorithms
Self-adaptation through incremental generative model transformations at runtime
A comparative study on analog/RF performance of ultra-thin body (UTB) SOI and double gate MOSFETs
The 3rd workshop on open source software engineering
Load distribution in daisy chain & two-level d-dimensional tree networks based on power consumption
Thirty years of software problems in the news
An analysis of the effects of company culture, education and experience on confirmation bias levels of software developers and testers
Function point measurement from Java programs
Coordination contracts for Java applications
Is software development manageable?
E-TDD – embedded test driven development a tool for hardware-software co-design projects
Coordinating the cloud computing service supply chain under asymmetric demand information with quantity discount contract
Workshop to consider global aspects of software engineering professionalism
An analysis of the variability in forty preprocessor-based software product lines
Efficient filtering in publish-subscribe systems using binary decision diagrams
A twenty year retrospective of the NATO software engineering conferences (panel session): the NATO conferences from the perspective of an active software engineer
A Versatile HSPICE Electro-Opto-Thermal Circuit Model for Vertical-Cavity Surface-Emitting Lasers
Cross-platform testing and maintenance of web and mobile applications
A field study on fostering structural navigation with prodet
Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models
Reverse Engineering Strategies for Software Migration
Green mining: investigating power consumption across versions
Research on optimization of vehicle routing based on Hopfield neural network
Decision support for business-related design of service level agreements
The study of sentiment analysis on Chinese comment texts
The MechatronicUML method: model-driven software engineering of self-adaptive mechatronic systems
A unified model for server usage and operational costs based on user profiles : An industrial evaluation
Normalizing source code vocabulary to support program comprehension and software quality
Resource controller tasks in ADA: Their structure and semantics
Research on model description method of multi-agent system
HEMT Transistor Noise modeling using generalized radial basis function
Who should fix this bug?
System support for modular order-sorted horn clause specifications
Softbake and Post-exposure Bake Optimization for Process Window Improvement and Optical Proximity Effect Tuning
Applying and adjusting a software process improvement model in practice: the use of the IDEAL model in a small software enterprise
Online defect prediction for imbalanced data
The effect of modularization and comments on program comprehension
Dynamic vehicle scheduling problem with changeable time window
Usability Implications of Requiring Parameters in Objects' Constructors
Maintenance support tools for JAVA programs: CCFinder and JAAT
Quantifiable Software Architecture for Dependable Systems of Systems
A discriminative model approach for accurate duplicate bug report retrieval
Design tests: An approach to programmatically check your code against design rules
Service-Oriented Measurement Infrastructure
Die design of a transmitting transistor in a 175 MHz power amplifier at 28V
The 2nd International Workshop on Economics-Driven Software Engineering Research (workshop session)
Toolpack - an experimental software development environment research project
Interactive simulation of software producing organization's operations based on concepts of CMMI and balanced scorecards
Formal methods in software engineering education
A cross-program investigation of students' perceptions of agile methods
Use of state diagrams to engineer communications software
Impact of the Creation of the Mozilla Foundation in the Activity of Developers
Pattern matching and information extraction for a battlefield medical card
The application of Bayesian statistics in measuring anonymity
The art of testing less without sacrificing quality
Research on Massive Enterprise Data One-Stop Search Mechanism Based onInformation Grid
Observable modified Condition/Decision coverage
Research toward an engineering discipline for software
Object-oriented methodology meets MDA software paradigm
Design and Modeling of an Electromagnetic Levitated and Actuated Micromotor
Extending Dynamic Constraint Detection with Polymorphic Analysis
Research on the bid of evaluating method of the lowest price based on the game theory
VLSI design and analysis of low power 6T SRAM cell using cadence tool
An improved process for the development of PLC software
Automated Generation of Context-Aware Tests
30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008
Research directions in software technology
Machine learning approach for quality assessment and prediction in large software organizations
Alloy-Based Lightweight Verification for Aspect-Oriented Architecture
Get Your Experience Factory Ready for the Next Decade--Ten Years after "How to Build and Run One"--
Identifying "good" architectural design alternatives with multi-objective optimization strategies
A priority based virtual network bandwidth guarantee method in software defined network
Program Co-Chairs' Message
Examples of applying software estimate tool
The Class-Level Mutants of MuJava
On the analysis of evolution of software artefacts and programs
Distributed software systems: from objects to agents
Using data versioning in database application development
Reliability Assurance in Development Process for TOE on the Common Criteria
Counter play-out: executing unrealizable scenario-based specifications
Inconsistency management framework for model-based development
Mining roles of open source software
Effects of the operating conditions on the performance of IMPATT amplifiers
Formal semantics and verification of dynamic reliability block diagrams for system reliability modeling
Design pattern rationale graphs: linking design to source
The 3rd International Workshop on Software Engineering for Secure Systems SESS07--Dependable and Secure
Intelligent traffic service based on cloud computing
Quality model for the selection of floss-based issue tracking system
Recent Trends in Graduate Software Engineering
A knowledge base for supporting an intelligent program editor
Verifying incomplete and evolving specifications
Using quantitative analysis to implement autonomic IT systems
Notice of Retraction Shop job scheduling informationization service research based on ERP thoughts
A lens-free on-chip microscopy algorithm for submicron pixel size image sensor
The property vector specification of a multiset iterator
A secret-sharing-based key management in Wireless Sensor Network
Test procedures: A new approach to software verification
Dynamically discovering likely interface invariants
Central flow control software development: A case study of the effectiveness of software engineering techniques
Pricing crowdsourcing-based software development tasks
Evaluation of multi-layered gate design on GME-TRC MOSFET for wireless applications
The “4+1“ view model on safe home system architecture
Usage modeling through sequence enumeration for automated statistical testing of a GUI application
Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations
Design and Simulation of a High Performance Lateral BJTs on TFSOI
Travelling wave solutions for a generalized Boussinesq equation by using free software
Pricing policy for closed-loop supply chain coordination
An empirical study of the effects of conscientiousness in pair programming using the five-factor personality model
Software reliability: basic concepts and assessment methods
Progress toward automated software testing
Characterization of indium and nitrogen co-implant of NMOSFET for advanced DRAM technologies with dual-gate oxide
Engineering safety-related requirements for software-intensive systems
Guided path exploration for regression test generation
A culture-centered multilevel software process cycle model (poster session)
Deriving State-Based Test Oracles for Conformance Testing
Design Of Experiment (DOE) For Thickness Reduction Of GaAs Wafer Using Lapping Process
Actionable Enterprise Architecture
Transparently teaching in the context of game-based learning: the case of simulES-W
Transforming Polymorphic Process Model to Petri Net: A formal way for validating workflow-based web service composition
Software Visualisation for Object-Oriented Program Comprehension
User Interface and Interaction Design Considerations for Collaborative Learning Using Augmented Reality Learning Object
LASE: locating and applying systematic edits by learning from examples
A basis path testing framework for WS-BPEL composite services
The educational value of mapping studies of software engineering literature
28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006
Educational Java applets for MOS capacitor
Towards Incorporation of Software Security Testing Framework in Software Development
An approach of attribute selection for reducing false alarms
Log-based testing
Designing data entry programs using state diagram as a common model
Software Engineering In The Year 2001
Model-driven Development of Complex Software: A Research Roadmap
Information foraging as a foundation for code navigation (NIER track)
Post-thermal annealing effects on the optical, structural and morphological properties of hydrogenated silicon (Si:H) thin films prepared by layer-by-layer (LBL) deposition technique
From models to code and back: correct-by-construction code from UML and ALF
Architecting Robustness and Timeliness in a New Generation of Aerospace Systems
The Challenges of Building Advanced Mechatronic Systems
A Method to Tackle Abnormal Event Logs Based on Process Mining
A new probable decision making approach for verification of probabilistic real-time systems
Goal and scenario modeling, analysis, and transformation with jUCMNav
Cookbook: in situ code completion using edit recipes learned from examples
SUITE 2009: First international workshop on search-driven development - users, infrastructure, tools and evaluation
Value elicitation in value based software engineering
A data mining based method: Detecting software defects in source code
Research of shortest path algorithm based on the data structure
Experimental Approximation of Breast Tissue Permittivity and Conductivity Using NN-Based UWB Imaging
Defining and continuous checking of structural program dependencies
Reporting user experience through usability within the telecommunications industry
Automated refactoring to introduce design patterns
Taming Dynamically Adaptive Systems using models and aspects
A two-step iris recognition algorithm
Designing and analyzing software architectures using AIBASs
Proceedings of the 20th international conference on Software engineering
Stack layout transformation: towards diversity for securing binary programs
Reusable execution replay: execution record and replay for source code reuse
A framework for software requirements engineering
Supported approach for agile methods adaptation: an adoption study
Realization of perfect silicon corrugated diaphragm using KOH etching
Introduction of continuous delivery in multi-customer project courses
Software services: a research roadmap
Responsibilities and rewards: specifying design patterns
Design and implementation of remote multiple physiological parameters monitoring system
Graphical animation of behavior models
Drawing insight from student perceptions of reflective design learning
Computer-supported cooperative work
Graphical specifications for concurrent software systems
An extended professional development programme for specialist computing teachers in Hong Kong
Modularization compass navigating the white waters of feature-oriented modularity
Source code testing for automotive software based on UPPAAL model
A replicated assessment and comparison of common software cost modeling techniques
LS-SVM hyper-parameters optimization based on GWO algorithm for time series forecasting
A Thread-Safe Library for Binary Decision Diagrams
Sensitivity Analysis on Bio-op Errors in DNA Computing
Characterisation of cascaded EDFA with the inclusion of an interstage optical element
Research on architecture of surface vessels decision-making model system based on distributed consultation decision
Towards Natural Interaction with Wheelchair Using Nintendo Wiimote Controller
Specification and implementation of parallel activities on abstract objects
A new viewpoint and order selection criteria for AR model
Homodyne Linear Crosstalk Impact in an Array Waveguide Router as an OADM for WDM Networks
CB-Cloudle and cloud crawlers
Scaling agile methods to regulated environments: an industry case study
The surface site dehydration mechanism for Si3N4 sensing membrane by post-baking treatment
Automatic categorization of software libraries using bytecode
Hysteresis tunable FGMOS comparator
1st international workshop on combining modelling and search-based software engineering (CMSBSE 2013)
Evaluating the credibility of the C3I information network simulation based on fuzzy AHP
Sequential Circuits for Relational Analysis
The characterization of FTTH wavelength selective coupler
A Tool for Managing Software Architecture Knowledge
Features of Higher Order Neural Network with adaptive neurons
Requirements analysis using similar sequence diagrams
SEMINAL: software engineering using metaheuristic INnovative ALgorithms
Towards domain-centric ontology development and maintenance frameworks
Study on classification rules of hypertension based on decision tree
Recommending adaptive changes for framework evolution
Introduction to software engineering for secure systems: SESS06 -- secure by design
The design of whole-program analysis tools
Timing challenges in automotive software architectures
Analyzing multi-agent systems with probabilistic model checking approach
On the evolution of an industrial software engineering graduate program
Hierarchical classifier with multiple feature weighted fusion for scene recognition
FEAT a tool for locating, describing, and analyzing concerns in source code
Applying Model Checking Techniques to Game Solving
Development of an innovative method for researching the structural and related parameters effect on the dynamic behavior of hydrobushings
The role of valuation in value-based software engineering
SE4HPCS'15: the 2015 international workshop on software engineering for high performance computing in science
Towards safer composition
Mined-Knowledge and Decision Support Services in Electronic Health
An Empiricist View of Managing Globally Distributed Software Development
Investigation on sidewall polymer contamination during metal etching in wafer fabrication
Third time charm: Stronger prediction of programmer performance by software complexity metrics
TASK forces: Distributed software for solving problems of substantial size
Improving UML design tools by formal games
The performance evaluation and comparison of TCP-based high-speed transport protocols
Implementing a process model-based software development support environment: comparing an open source component with a proprietary tool
A case study of the evolution of Jun: an object-oriented open-source 3D multimedia library
Automating process discovery through event-data analysis
Functional specification of synchronized processes based on modal logic
The design and implementation of a symmetric encryption algorithm based on DES
Graph-based pattern-oriented, context-sensitive source code completion
An adaptable generation approach to agenda management
Predicting build outcome with developer interaction in Jazz
Predicting build outcome with developer interaction in Jazz
Transition to object orientation in software engineering education
User Acceptance for Extended Function Point Analysis in Software Security Costing
Fault localization via behavioral models
Automatic program analysis and evaluation
Using pre-test to validate the Questionnaire for Website Usability (QWU)
Wikis4SE'2009: Wikis for Software Engineering
The role of abstraction in software engineering
Modeling, Analysis, and Characterization of Dubai Financial Market as a Social Network
A service-oriented approach to bridge the gap between software engineering and human-computer interaction
Digital companding scheme using A I based custom constellation mapping and selection
A component-based approach for consistency checking of UML dynamic diagrams
Model-Based Web Components Testing: A Prioritization Approach
Study on the effect of metal contact (Pt, Pd and Au) to the electrical and physical properties of Mg x Zn x−1O thin film for FET applications
Tool Integration In The Pact Environment.
Software engineering-as it is
Path-Sensitive Inference of Function Precedence Protocols
A method of data broadcasting based on analog audio baseband signal
Efficient reuse of domain-specific test knowledge: an industrial case in the smart card domain
Round-trip engineering with design patterns, UML, Java and C++
Round-trip engineering with design patterns, UML, Java and C++
Risk management in global software development: a position paper
Complete Gini-Index Text (GIT) feature-selection algorithm for text classification
The first workshop on end-user software engineering
Architectural Fault Tolerance Using Exception Handling
A secure keyed program in a network environment
An empirical evaluation of a methodology for testing spreadsheets
Researches on asynchronous pipeline Web service composition method
Experience with a modular typed language: PROTEL
Multifaceted distributed systems specification using processes and event synchronization
Health Ontology Generator, Distiller and Accumulator
Qualitative analysis of knowledge transfer in pair programming
Process patterns - a means to describe processes in a flexible way
Models for model's sake
Efficient forward computation of dynamic slices using reduced ordered binary decision diagrams
Effects of defects in UML models: an experimental investigation
Large, multimedia programming—concepts and challenges
Optimization of the Temperature Sensor Position for MEMS Gas Flow Meters
Visualizing object oriented software using virtual worlds
Optimizing bulk synchronous parallel ML
The research of MUSIC-AML algorithm for MIMO radar system
A decision support system for classification and recognition of earthquakes and explosions
The inference validity problem in legal discovery
Resource optimization based interference management: Soft frequency-time reuse
A weakly constrained approach to software change coordination
Natural language processing and formal concept analysis technologies for automatic building of domain model
Self-adaptive and sensitivity-aware QoS modeling for the cloud
Ultra fine pitch 20 micron 2N second bond Improvement with new capillary surface morphology
Relating Evolving Business Rules to Software Design
Software requirements: Are they really a problem?
Towards individualized software engineering : empirical studies should collect psychometrics
Sentiment Classification from Online Customer Reviews Using Lexical Contextual Sentence Structure
Knowledge management in project phases
Beam propagation modelling of the digital response in cosine S-bend waveguide branch
A new TV recommendation algorithm based on interest quantification and item clustering
Developing mobile computing applications with LIME
Deryaft: a tool for generating representation invariants of structurally complex data
Programmers' build errors: a case study (at google)
Generative Programming Approach for Building Pervasive Computing Applications
An authentication and authorization solution supporting SOA-based distributed systems
Feature maintenance with emergent interfaces
Table: Object oriented editing of complex structures
A general framework for formalizing UML with formal languages
Influence of Informal Visual Environments and Informal Motivational Factors on Learners’ Aesthetic Expectations from Formal Learning Visual Environments
Constructing multi-formalism state-space analysis tools
Theme: an approach for aspect-oriented analysis and design
Enhancing program readability and comprehensibility with tools for program visualization
Model based process assessments
The Analyst—a workstation for analysis and design
Configuration Management for Component-based Systems
On instrumenting obfuscated java bytecode with aspects
A Framework to Assure the Quality of Sanity Check Process
An introduction to the construction and verification of Alphard programs
Parameter specific supply voltage scaling by evaluating the frequency of an onchip ring-inverter-chain
Scaling extreme programming in a market driven development context
Systematic model-based testing of embedded control software: the MB
Experience Using the Graphite Meta-Tool (Experience Report)
Establishing a knowledge base for problem management, part II
A compiler project with learning progressions
Impact analysis of database schema changes
A tool to guide safe modi-cations
The saturation effect of etch depth at high RF power in CF/sub 4/ plasma RIE silicon etching
Ask the engineers: exploring repertory grids and personal constructs for software data analysis
Software engineering...an economic perspective
Assessing a class of software tools
Effects of passivation and extraction trap density on the 1/f noise of HgCdTe photoconductive detector
FM91: formal methods workshop
A case study evaluation of maintainability and performance of persistency techniques
Mining input sanitization patterns for predicting SQL injection and cross site scripting vulnerabilities
WISE/sup 3/: the third international workshop on intelligent software engineering
The View Glue
Systematizing security test case planning using functional requirements phrases
Effect of Rapid Thermal Annealing (RTA) on n-Contact of 980 nm Oxide VCSEL
NHPP software reliability growth model incorporating fault detection and debugging
NHPP software reliability growth model incorporating fault detection and debugging
A Digital Implementation for UWB Impulse Radio Transceiver
Study on the effects of tilted angle for power generation of PV modules based on Pareto chart
Temporal XML Indexing Based on Suffix Tree
More precise descriptions of temporal relations within task models
Fault comprehension for concurrent programs
A 10-year perspective on software engineering self-adaptive systems (keynote)
An enterprise mobile e-business system model based on pushmail
A novel approach for the continuous search of the K nearest neighbors on road networks
Study of chemical staining on metallization for SEM image quality effect improvement
Survey of the Usage of Encapsulation in Object-Oriented Programming
QuESo a quality model for open source software ecosystems
Model-based development of dynamically adaptive software
Carbon nanotube field effect transistor measurements in vacuum
A Decision Support System for Software Architecture-Style Selection
jPredictor: a predictive runtime analysis tool for java
Modeling and controlling the software test process
Usable product lines: issues and requirements
Companion of the 30th international conference on Software engineering
Text similarity computing based on sememe Vector Space
Scrambled hybrid wavelet-singular domain digital image watermarking
Low threshold current GaAs/InGaAs vertical-cavity surface-emitting laser grown at a constant temperature by molecular beam epitaxy
The impact of process choice in high maturity environments: An empirical analysis
Prompter — a project planning assistant
The past, present, and future of MOOCs and their relevance to software engineering
Demeter: a case study of software growth through parameterized classes
Investigating the cost-effectiveness of reinspections in software development
An architecture for heterogeneous groupware applications
Dynamo and Self-Healing BPEL Compositions
A New Stream Cipher Using Natural Numbers Based on Conventional Encryption Techniques: MINNSC
On the education of future software engineers
Generating range fixes for software configuration
Design using software engineering principles: overview of an educational program
Attack Intention Analysis Model for Network Forensics
Partition-based regression verification
Optimization of pull-in voltage and contact force for MEMS series switch using Taguchi method
The use of description logics in KBSE systems
Collaboration patterns in distributed software development projects
Determination of dynamic parameters for HSPICE IGBT model using curve-fitting optimisation method
Using Web service technologies to create an information broker: an experience report
Multiple BDD based matrix multiplication
On what exactly is going on when software is developed step-by-step
From software architecture to design patterns: a case study of an NFR approach
Supporting collaboration in the development of complex engineering software
Continuous software engineering and beyond: trends and challenges
The CommUnity Workbench
A Case Study in Formalizing UML Software Models of Safety Critical Systems
The predicament of "how much" software quality
Panel Session Position Paper: Software Process Modeling Experience
Agile development: evaluation and experience
Static ownership inference for reasoning against concurrency errors
An evolutionary algorithmic approach to construct connected dominating set in MANETs
Measuring architecture quality by structure plus history analysis
Change management process on database level within RUP framework
A model driven approach for software systems reliability
Concepts and implementation of a rule-based process engine
Proceedings of the 2nd international conference on Software engineering
Using the KDSM methodology for knowledge discovery from a labor domain
Brazilian software quality in 2002
Computer-Aided Refinement of Data Structures on Higher-Order Algebraic Specifications
Equality and hashing for (almost) free: Generating implementations from abstraction functions
Feature-based Page Trojan study
Towards mediation-based self-healing of data-driven business processes
Towards mediation-based self-healing of data-driven business processes
Efficient authoring of software documentation using RaPiD7
Comparing inter-tool communication in control-centred tool integration frameworks
Failure handling of E-Business Services in an extensible constraint service model
Leverage human aspects in test engineering
Effect of Pr substitution on magnetoresistance in La23/Ba13/MnO3 perovskite
Search-based testing of complex simulink models containing stateflow diagrams
Supporting Change Impact Analysis for Service Oriented Business Applications
Improving software quality: the use of formal inspections at the JPL
Consolidating different views of quality attribute relationships
A built-in self repairable RF MEMS filter using redundant structures
A novel unsupervised non-iterative approach to word segmentation
Image retrieve using visual attention weight model
Entropy method for decision-making of fuzzy information
Beyond computer science
Extending Failure Modes and Effects Analysis Approach for Reliability Analysis at the Software Architecture Design Level
The CRUTIAL Architecture for Critical Information Infrastructures
A bi-level language for software process modeling
Designing software architectures for usability
Fault localization for build code errors in makefiles
Information security risk assessment model based on optimized support vector machine with artificial fish swarm algorithm
Fuzzy set-based automatic bug triaging (NIER track)
Synthesizing API usage examples
Cloud data security access with privacy-preserving
Advanced visual modelling: beyond UML
Discovery of abnormal financial behavior in a dynamic finance environment with hierarchical self-organizing mapping
A Machine-Checked Framework for Relational Separation Logic
Software development is program transformation
An analysis of software project failure
Designing a hybrid position evaluation function for Chinese-chess computer game
Bandera: extracting finite-state models from Java source code
STRADA: A Tool for Scenario-Based Feature-to-Code Trace Detection and Analysis
5th international workshop on software engineering in health care (SEHC 2013)
Finding Errors in Interoperating Components
Using BDI agents for automated software deployment in next generation networks
Toward infusing modular and reflective design learning throughout the curriculum
The study of dual rate 10G-EPON system for coexistence with 1G-EPON
Workshop on software Engineering in Health Care (SEHC)
Case Study on Incremental Software Development
Wavelength Shifting in the Fiber Bragg Grating (FBG) based Encoder and Decoder Modules for SAC-OCDMA System
Using Ada as the first programming language: a retrospective
The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems
Application of sodium hydroxide in analysis of gate oxide issue of leakage failures
Software verification of a virtual development environment for embedded software
Proceedings of the 3rd Workshop on Software Engineering in Health Care
Apply technology acceptance model with big data analytics and unity game engine
Flexible Communication Architecture for Dependable Time-Triggered Systems
Towards a Requirements-Driven Workbench for Supporting Software Certification and Accreditation
Systems engineering: an essential engineering discipline for the 21st Century
Application of axiomatic methods to a specification analyser
Celadon: a change impact analysis tool for aspect-oriented programs
Compositional verification of middleware-based software architecture descriptions
Animation creation in computer software programming education and its evaluation
A software process scheduling simulator
Fabrication of photodiode by screen printing technique
Second ICSE Workshop on Web Engineering (workshop session)
How and when to transfer software engineering research via extensions
Slicing MATLAB simulink models
Power through brokering
The 3rd international workshop on global software development
A metamodeling approach to transform UML 2.0 sequence diagrams to Petri nets
Transformations of software models into performance models
PorchLight: a tag-based approach to bug triaging
A specification idiom for reactive systems
Independence in architectural descriptions
Analyzing intercultural factors affecting global software development - a position paper
Semi-automatically extracting FAQs to improve accessibility of software development knowledge
Assessing undergraduate experience of continuous integration and test-driven development
Proceedings of the 24th International Conference on Software Engineering
A distributed anonymization scheme for privacy-preserving recommendation systems
Using Models to Improve the Availability of Automotive Software Architectures
Effects of body contact on output characteristics of 0.5 micron MOSFET on thick bonded SOI substrate
Cross-comparison of MODIS and MISR cloud top height retrieval over the Caribbean
Understanding requirements for computer-aided healthcare workflows: experiences and
Breakdown characteristics of (AlXGa1-X)0.52In0.48P p-i-n diodes
Automated Inference of Pointcuts in Aspect-Oriented Refactoring
A Runtime Architecture-Based Approach for the Dynamic Evolution of Distributed Component-Based Systems
An introduction to Java 2 micro edition (J2ME); Java in small things
SEREBRO: facilitating student project team collaboration
Active data structures
The catastrophe dynamic of synergy field in E-commerce
Security Modeling of SOA System Using Security Intent DSL
Finalizing a PhD thesis in architectural evolution
Software variability management
A Cross Platform Test Management System for the SUDAAN Statistical Software Package
Software architecture reconstruction
Understanding the Role of Enterprise Architecture towards Better Institutionalization
Transformation-based Creation of Custom-tailored Software Process Models
A failure of management nerve and vision (software engineering)
Trends in microelectronics packaging and interconnection
Autonomic View of Query Optimizers in Database Management Systems
1st International Workshop on Replication in Empirical Software Engineering Research (RESER)
Research demonstrations and posters
Investigate Spectrum-Sliced WDM System for FTTH Network
Supporting human-intensive systems
Monitoring glass transition of epoxy encapsulant using thermal analysis techniques
Design and implementation of the coal enterprises electromechanical equipment management system based on B/S
Proceedings of the 2010 ICSE Workshop on Product Line Approaches in Software Engineering
Trace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce
Software bloat analysis: finding, removing, and preventing performance problems in modern large-scale object-oriented applications
Making software process simulation modeling agile and pattern-based
The compleat software engineering professional-doing the right thing as well as doing it right: five steps on the road to an ethics curriculum
Architecture knowledge management during system evolution: observations from practitioners
AppContext: differentiating malicious and benign mobile app behaviors using context
The hardware design and implementation of four-channel UHF RFID reader based on Impinj R2000
Prioritization of test scenarios using hybrid genetic algorithm based on UML activity diagram
Tracking non-stationary optimal solution by particle swarm optimizer
Calibrated estimation model for a maintenance project
AutoCSP: automatically retrofitting CSP to web applications
Automating the generation of objects
Toward Undoing in Composite Web Services
Investigating the Effect of Aspect-Oriented Refactoring on Software Maintainability
Spontaneous software: a Web-based, object computing paradigm
Design a technique for minimizing unnecessary handoff in mobile wireless networks
GraPacc: a graph-based pattern-oriented, context-sensitive code completion tool
Empirical research on the collaborative innovation mechanism of Knowledge-intensive Business Services
Proceedings of the 6th International Workshop on Automation of Software Test
Static checking of dynamically generated queries in database applications
Quantifying programmers' mental workload during program comprehension based on cerebral blood flow measurement: a controlled experiment
A Concurrent Programming Language with Refined Session Types
Research on three-dimensional virtual reality platform based on Multiple Software Platform
Fabrication of Platinum Membrane on Silicon for MEMS Microphone
Top ten ways to make formal methods for HPC practical
Does Imperfect Debugging Affect Software Reliability Growth?
Testable ASIC design for a fuzzy logic based QRS complex detector
Augmenting SADT to develop computer support for cooperative work
Software research in the Department of Defense
Error prediction for multi-classification
Hierarchical test approach using boundary scan test
On the automated generation of program test data (Abstract only)
Tuple density: a new metric for combinatorial test suites (NIER track)
From system specifications to component behavioral models
Understanding software testers in the automotive industry a mixed-method case study
Design and characterisation of thick oxide parasitic transistor for MIMOS 0.8-/spl mu/m CMOS technology development
An Industrial Standard to Assure Dependability in Software Reuse
Parallelizing an edge detection algorithm for image recognition to classify paddy and weeds leaf on Sun Fire Cluster system
Topic selection in industry experiments
Minding the (semantic) gap: engineering programming language theory
How software can help or hinder human decision making (and vice-versa)
Providing users with suitable services of information security engineering cloud based on ISO/IEC 15408
Maxims for malfeasant designers, or how to design languages to make programming as difficult as possible
Alternative double pass dicing method for thin wafer laminated with die attach film
Characterizing implicit information during peer review meetings
Matching logic: a new program verification approach (NIER track)
Design components: towards software composition at the design level
Introducing continuous delivery of mobile apps in a corporate environment: a case study
Feedback-directed unit test generation for C/C++ using concolic execution
The disappearing boundary between development-time and run-time
Soft IP Integration and Reuse Challenges in Intel Entry Level Network Processor
Methods of Ranking usability attributes — A comparative study
Writing bidirectional model transformations as intentional updates
Using Robot Soccer Game To Teach Advanced Computer Science Concepts
Lessons learnt from the analysis of large-scale corporate databases
Teaching software process modeling
Feature oriented refactoring of legacy applications
Preparation of glucose hydrogel as actuator in microvalve
An anticipatory reasoning-reacting system for defending against malice anticipatorily
Design and Modeling of Micromachined Condenser MEMS Loudspeaker using Permanent Magnet Neodymium-Iron-Boron (Nd-Fe-B)
On the modeling of a sustainable system for urban development simulation using data mining and distributed agencies
An integrated method for effective behaviour analysis of distributed systems
Assertional reasoning about pairwise transient interactions in mobile computing
Curriculum design: methodologies and life cycles
Revisiting the impact of classification techniques on the performance of defect prediction models
A simple implementation and performance evaluation extended-role based access control
Experience from applying RIM to educational ERP development
SMT-based bounded model checking for multi-threaded software in embedded systems
Implementation of mobile augmented reality based on Vuforia and Rawajali
Design of dependable real-time systems
A quantitative software quality evaluation model for the artifacts of component based development
It's not a bug, it's a feature: how misclassification impacts bug prediction
Reliability analysis of power supply based on recursive algorithm
Performance Engineering As A Part Of The Development Life Cycle For Large-scale Software Systems
White-box approaches for improved testing and analysis of configurable software systems
A firefly algorithm based approach for the two-dimensional min-cost covering problem
WorkItemExplorer: visualizing software development tasks using an interactive exploration environment
Composition patterns: an approach to designing reusable aspects
Secure Bluetooth services in an m-learning environment
RERAN: timing- and touch-sensitive record and replay for Android
Measuring maintainability in early phase using aesthetic metrics
A case study of a change in migration behaviour of a transferred AlCu metallization
Change management: from knowledge about innovative SE to capabilities for industrial SE projects
Identifying method friendships to remove the feature envy bad smell (NIER track)
The study of retail enterprise's operating model: — The case of Hangzhou Jiebai
Quantum well intermixing and wavelength-shifting in GaAs lasers by proton irradiation
GridUnit: software testing on the grid
An evaluation of interactive test-driven labs with WebIDE in CS0
Centered leadership: How talented women thrive in career
A compact Petri net representation for concurrent programs
Session 3B: Distributed systems
Statistical characterization and the impact of percent phosphorous in LTO-PSG film on opto and small signal technology
Elimination of metal bridging failure in VLSI metallization and yield enhancement of FLAT ROM device
Tutorial session 3B: Prospects for program verification
Security attribute evaluation method: a cost-benefit approach
JMOCHA: a model checking tool that exploits design structure
My Thoughts On Software Engineering In The Late 1960s
Using data mining technology to design an intelligent CIM system for IC manufacturing
The simulation research of operation mechanism of “Companies + Farmers” organization model
How do professionals perceive legacy systems and software modernization?
Quantitative CMMI Assessment for Offshoring through the Analysis of Project Management Repositories
Correlation study between doping technique towards diffusion rate and oxidation rate
Extending a general theory of software to engineering
Analyzing partially-implemented real-time systems
Dimensionality reduction based on the classifier models: Performance Issues in the prediction of Lung cancer
Conceptual module querying for software reengineering
Deploying an online software engineering education program in a globally distributed organization
Prototyping a visual formalism for system modelling
Mathematical foundations of software engineering: a roadmap
Study of the contact properties of ZnO nanowires with Ag and Au/Ag
Heuristic Software Partitioning Algorithms for Distributed Real-Time Applications
Tool-supported program abstraction for finite-state verification
An ontology toolkit for problem domain concept location in program comprehension
An ontology toolkit for problem domain concept location in program comprehension
Second international workshop on interdisciplinary software engineering research (WISER)
Fourth International Workshop on Software Clones (IWSC)
Report on discussion group B3: agents in software engineering
Adaptive membership maintenance under the sybil attack coupled with churn in P2P networks
Workshop on software engineering and computer-human interaction: joint research issues
Process Lines for Automatic Workflow Development
How (much) do developers test?
Load adaptive congestion control and rate readjustment for wireless mesh networks
From security patterns to implementation using petri nets
From security patterns to implementation using petri nets
Distributed Expectation-Driven Residual Testing
Moving from ISO9000 to higher levels of the CMM (tutorial session)
Graph-based statistical language model for code
Integration of Usability Techniques into the Software Development Process
A gateway system for quantum communication telephone user terminal extension
An analytical transit time model for short channel MOSFET's
Team characteristics for maximizing the educational effectiveness of practical lectures on software intensive systems development
Petri Nets based Reliability Evaluation of Services
The dimensions of healthy maintenance
Enron's spreadsheets and related emails: a dataset and analysis
Variability management in software product line engineering
Iterative solution method in semiconductor equations
Effective identification of source code authors using byte-level information
Stride: search-based deterministic replay in polynomial time via bounded linkage
Evaluation criteria for functional specifications
Browsing and searching source code of applications written using a GUI framework
Style-Based Software Architectural Compositions as Domain-Specific Models
Modelling of threshold voltage with non-uniform substrate doping [MOSFET]
Fault localization based on dynamic slicing via JSlice for Java programs
Who asked what: integrating crowdsourced FAQs into API documentation
Using symbolic evaluation to understand behavior in configurable software systems
A compositional formalization of connector wrappers
The making of Orbix and the iPortal suite
Deriving specifications from requirements: an example
Remote development and distance delivery of innovative courses: challenges and opportunities
Finding latent code errors via machine learning over program executions
Fourth international workshop on sharing and reusing architectural knowledge (SHARK 2009)
Role of requirement change in software architecture using Twin Peaks Model
Object-orientation in software engineering education. Integrating concepts, methodology development models, and CASE in the curriculum
Design science methodology: principles and practice
Design and realization the MIS of general statistics based on Struts and Hibernate framework technology
The effect of backside films on rapid thermal oxidation (RTO) growth on silicon wafers
Session 8A: Editors
Migrating code with statistical machine translation
High-Speed Hybrid Parallel-Prefix Carry-Select Adder Using Ling's Algorithm
Embedded lowlight image quality measure
Utilizing Category Relevancy Factor for text categorization
Smart telephone design-caller identification and answering machine
6th ICSE workshop on component-based software engineering: automated reasoning and prediction
A scalable formal method for design and automatic checking of user interfaces
A high performance and low cost distributed file system
Second ICSE workshop on remote analysis and measurement of software systems (RAMSS)
A language for feedback loops in self-adaptive systems: Executable runtime megamodels
VIDA: Visual interactive debugging
Sale system analysis and design for the online cosmetic store based on JSP
Control of suspension and steering systems for automotive ride comfort and handling stability optimization
Towards Efficient Management of Changes in XML-Based Software Documents
An On-board Switch Scheme Based on DiffServ
Application of Auger electron spectroscopy (AES), TEM electron energy loss spectrum (EELS) in failure analysis on poly grooves issue in wafer fabrication
Formalizing design patterns
The Development of the Thermal Object Intelligent Adaptive IdentificationSoftware Based on the Operation Data
Process Support for Distributed Extreme Programming Teams
ICSE 2011 technical briefings
COnCEPT developing intelligent information systems to support colloborative working across design teams
Research on medium access control of mobile ad hoc network based on frequency hopping communication
Distributed parallel algorithm for numerical solving of 3D problem of fluid dynamics in anisotropic elastic porous medium using MapReduce and MPI technologies
Cooperating evolving components: a rigorous approach to evolving large software systems
{log} as a Test Case Generator for the Test Template Framework
Challenges in automotive software engineering
Challenges in automotive software engineering
Global Software Development with Cloud Platforms
On the effectiveness of set associative page mapping and its application to main memory management
Finding relevant functions in millions of lines of code
Evaluating the effectiveness of the Rainbow self-adaptive system
Software engineering in 1968
A colored Petri net model for the France Paris metro system
A Model of Implementing NETCONF Based on SOAP for Network Management
Transforming Stream Processing Functions into State Transition Machines
Accuracy Analysis of Unscented Transformation of Several Sampling Strategies
Software process modeling: a behavioral approach
Simulating real-life software engineering situations in the classroom
Theoretical validation of object-oriented lack-of-cohesion metrics
A comprehensive simulation study on optimal scheduling for software projects
The design and implementation of database audit system framework
Extending the DPO approach for topological validation of metamodel-level graph rewriting rules
Lessons learned managing distributed software engineering courses
On the Comprehension of Program Comprehension
On the automation of fixing software bugs
Introducing software engineering by means of extreme programming
An approach to predict software project success by cascading clustering and classification
Interactivity, continuity, sketching, and experience (keynote abstract)
Another neat tool for refactoring Erlang programs
Reliable data transmission over Rayleigh channel
Research on DPM Algorithm Based on Abnormal Flow in IPv6 Network
Mining behavior models from user-intensive web applications
DEECo: an ecosystem for cyber-physical systems
Calibrating the COCOMO II post-architecture model
A hybrid model for agile practices using case based reasoning
Exploiting the collaboration between open source developers and research
Verifying multi-threaded software using smt-based context-bounded model checking
On the adoption of an approach to reengineering Web application transactions
The research on topic detection based on multi-models and multi-characteristics
The research on topic detection based on multi-models and multi-characteristics
Supporting maintenance tasks on transformational code generation environments
Time and cost reduction for 45° notch oriented 〈100〉 silicon substrate sample prepation
Architecture-Based Reliability Prediction for Service-Oriented Computing
Profiling and identifying users' activities with network traffic analysis
Research on future accounting information system in the Internet of Things era
Extending UML for a Context-Based Navigation Modeling Framework of Web Information Systems
Aspect-oriented programming
Guidance for exploratory testing through problem frames
Fault tolerant data flow using curator — Storm
The Prism model of changes
At the discovery of the software process through machine learning techniques
Experimental evaluation of a fuzzy-set based measure of software correctness using program mutation
Multi-actor system design for collaborative management of service innovation networks
Cloud computing and its application in television and broadcasting industry
CMOS latchup characterization for LDMOS/LIGBT power integrated circuits
Modular-Like Transformations and Style Checking for Crosscutting Programming Concepts
Tolerating inconsistency (software development)
A case study of how pattern density affect metal etch
Integration of 8051 With DSP in Xilinx FPGA
First international workshop on the modeling and analysis of concerns in software (MACS 2005)
Static control-flow analysis of user-driven callbacks in Android applications
Photoresponse characteristics of aluminum doped zinc oxide thin film
DIDMA: a distributed intrusion detection system using mobile agents
Visualization and Analysis of Regional Water Transport-Based Commodity Flow in the Philippines
LACE2: better privacy-preserving data sharing for cross project defect prediction
The road not taken: Estimating path execution frequency statically
Exploiting ADLs to specify architectural styles induced by middleware infrastructures
Building systems from commercial components
Design of XMI-based tools to build EQN models of software systems
Use of Agents in Building Integration Tool for Component-Based Application
Where do developers log? an empirical study on logging practices in industry
A Novel Real-Time Routing Protocol for Wireless Sensor Networks
Using mutation analysis for a model-clone detector comparison framework
A Network-Application Framework Based on Application-Component
PACC starter kit: developing software with predictable behavior
Middleware reliability implementations and connector wrappers
Handling Software Faults with Redundancy
An empirical study of communication in code inspections
Investigating and improving a COTS-based software development process
Architecture and Design Intent: An Experience Report
Artificial neural network based radial bending characteristics of mixed-flow pump impeller
Tutorial: introduction to the rational unified process®
An empirical evaluation of test case filtering techniques based on exercising complex information flows
The method of using hypernetworks and concept lattice to solve domain concepts' semantic inconsistencies
Extreme Programming in the University
Use of operation semantics for parallel iSCSI protocol
Research on the touch screen of embedded handheld data acquisition terminal based on Qt/Embedded
Research towards a technology to support the specification of data processing system performance requirements
Investigating the Readability of Formal Requirements Specification Languages
Study of the optimization of China's aviation industry based on the capital market
Software engineering: Management, personnel and methodology
An approach to estimating the greenhouse gas emissions of the biomass-to-energy supply chain
Design and implementation of self-help business hall based on J2EE
Data Security Issues in the Process of Applying Cloud Computing
A search engine for finding highly relevant applications
An empirical study of structural defects in industrial use-cases
Software reuse in an industrial setting: a case study
Verification of Android applications
Practically formal methods
The Analysis of Conditions and Problems of Teaching and Learning of Object Oriented Analysis and Design Subject that has Impacted to the Student Learning
Proceedings of the 17th international conference on Software engineering
An new back propagation algorithm with chaotic learning rate
An integrated bug processing framework
Research on community discovery of CSLN
Business insight toolkit: Flexible pre-requirements modeling
Based on social network crime organization relation mining and central figure determining
PSL/PSA a computer-aided technique for structured documentation and analysis of information processing systems
4th international workshop on managing technical debt (MTD 2013)
A conceptual meta-model for secured information systems
Inside an Open Source Software Community: Empirical Analysis on Individual and Group Level
PARTS: a temporal logic-based real-time software specification and verification method
Software Architecture for large/critical applications
2nd international workshop on software engineering methods in spreadsheets (SEMS 2015)
Monte Carlo Simulation of Surface Annealing before Epitaxial Growth
Design and Implementation of an Autonomous UGV for the Twenty Second Intelligent Ground Vehicle Competition
Analysis of networking mode caused by GOOSE delay of smart substation
A study on improving static analysis tools: why are we not using them?
Notice of Retraction Research and design on the pattern of internship arrangement in post internship management system
Specification-based testing of reactive software: tools and experiments: experience report
Team-based fault content estimation in the software inspection process
Proceedings of the Eighth International Workshop on Cooperative and Human Aspects of Software Engineering
Software Engineering for Automotive Systems: A Roadmap
A model-driven approach for the performance management of grid-based applications
Process engineering with Spearmint/EPG
New design of variable X-coupler optical waveguide passive device
Logic process merging for conservative parallel simulation of logic circuits
Exploring dataflow testing of arrays
LSdiff: a program differencing tool to identify systematic structural differences
A Discrete Event Simulation for Utility Accrual Scheduling in Uniprocessor Environment
The advantages and the implementation of SSL VPN
The role of the individual project in teaching knowledge acquisition
Build code analysis with symbolic evaluation
Dilemma structures between contracting parties in software development projects
Distributed development: an education perspective on the global studio project
A validation of software metrics using many metrics and two resources
Explorable Code Slides
Augmenting test suites effectiveness by increasing output diversity
4th international workshop on product LinE approaches in software engineering (PLEASE 2013)
Mining Object Usage Models
A model of the D-learning way on science and technological course
Detecting low usability web pages using quantitative data of users' behavior
A high level language for specifying graph based languages and their programming environments
Design and validate of a scale anchoring based test items library
Data Extraction Using Preprocessing Compression Based on LZW to Improve DB Performance
A review of automated debugging systems: knowledge, strategies and techniques
Applying Design of Experiments to Software Testing
The characteristics of China retail market: A perspective of international comparisons
First International Workshop on Emerging Trends in FLOSS Research and Development
Effect of Annealing on the Sol-Gel Derived SrBi4Ti4O15 Thin Films for Piezoelectric Pressure Sensors
Software process improvement: best practices and lessons learned
Safe distribution of declarative processes
SEEUP 2009: Workshop on software engineering foundations for end-user programming
DiscoTect: a system for discovering architectures from running systems
Human performance regression testing
Hierarchical coroutines a mechanism for improved program structure
Validating the TAME resource data model
Software engineering in avionics applications
Position paper on technology transfer
Improving software quality: the use of formal inspections at the Jet Propulsion Laboratory
Ranking programs using black box testing
Architecture-based runtime software evolution
Software Engineering Education intheEra ofOutsourcing, Distributed Development, andOpen Source Software: Challenges andOpportunities
Workshop on standard exchange format (WoSEF) (workshop session)
A high diversity hybrid ensemble of classifiers
ArchStudio 4: An Architecture-Based Meta-Modeling Environment
OSGIS & FOSS in LBS Design
A system for program refinement
Failure and success factors in reuse programs: a synthesis of industrial experiences
Fault characterisation of complementary pass-transistor logic circuits
Monte Carlo modeling of high field carrier transport in bulk InP
A Methodology of Analysing External Input for Improving Flexibility of Static Execution Time Analysis
Interpolated n-grams for model based testing
DISPAS: An Agent-Based Tool for the Management of Fishing Effort
The economy of collective attention for situated knowledge collaboration in software development
Evaluating Software Engineering Processes in Commercial and Community Open Source Projects
Evaluation of requirements document by analysis of change date
Open source application spaces: the 5th workshop on open source software engineering
Developing natural language-based program analyses and tools to expedite software maintenance
Second international workshop on from SofTware requirements to architectures (STRAW'03)
Software reuse experience at Hewlett-Packard
Test environment using Bootstrap for Knowledge Discovery Applications
Summary of the ICSE 2012 tutorials and technical briefings
A spatial awareness case-based reasoning approach for typhoon disaster management
Eclipse as a requirements engineering environment
The mashware challenge: bridging the gap between web development and software engineering
CVD of electronical and optical structures
Research on model and construction of CSLN
Mining API mapping for language migration
Security software engineering: do it the right way
A methodology and tool for performance analysis of distributed server systems
A particle filter object tracking based on feature and location fusion
Parallel Randomized State-Space Search
A Self-optimizing Run-Time Architecture for Configurable Dependability of Services
An Empirical Study About Illegal Information Disclosure of Listed Companies
An automated approach for creating workload models from server log data
Automated Deployment of Distributed Software Components with Fault Tolerance Guarantees
ICSE 2002 workshop on architecting dependable systems
On the role of cross-disciplinary research and SSE in addressing the challenges of the digitalization of society
The empirical study of regional technical innovation suitability
1st international workshop on advances and applications of problem frames
Modeling the software process: software process modeling experience (panel session): panel session position paper
Information Integration Architecture Development
Malware network behavior extraction based on dynamic binary analysis
An Algebraic Data Type Specification Language And Its Rapid Prototyping Environment*
Condenser microphone performance simulation using equivalent circuit method
Adapting Roles for Agent-Oriented Software Engineering
Finding suitable programs: semantic search with incomplete and lightweight specifications
The LEAP load and test driver
Electrical equivalent circuit model and impedance of euglena sanguinea stimulated by multi-level electromagnetic fields
Teaching software development processes by simulation: Wuality assurance as a factor of success
Simplifying data integration: the design of the desert software development environment
A statistical shape model using 2D-principal component analysis from few medical samples and its evaluation
An end-user demonstration approach to support aspect-oriented modeling
A fault tolerant K-means algorithm based on storage-class memory
Ahaa --agile, hybrid assessment method for automotive, safety critical smes
Proceedings of the 3rd international workshop on Applications and advances of problem frames
LIME: Linda meets mobility
Software engineering in a startup
Balanced Hierarchical Method of Collision Detection in Virtual Environment
SoRS: An effective SVD-DWT watermarking algorithm with SVD on the revised singular value
Exploiting undefined behaviors for efficient symbolic execution
Measuring and Communicating Component Reliability
Fourth international workshop on software engineering for computational science and engineering (SE-CSE2011)
Combining functional and imperative programming for multicore software: an empirical study evaluating Scala and Java
Safety verification in Murphy using fault tree analysis
FITE: future integrated testing environment
Evaluating object-oriented designs with link analysis
An environment for synchronous software development
Efficient Wireless Communications Schemes for Machine to Machine Communications
Deriving test plans from architectural descriptions
A method research for generating complete complementary sequences
Examining OSGi from an ideal enterprise software component model
An Exact Reliability Block Diagram Calculation Tool to Design Very Complex Systems
Analysis on software processes and enhancement for RUP
A Wireless Sensor Networks routing algorithm optimized based on potential field
Application of fuzzy cluster analysis on diagnosing the locations of the hole defects in Acer mono wood using acoustic testing
A Novel Hybrid Search Algorithm for Feature Selection
Software process paradigm and its constraint mechanisms
SE pioneers symposium: the first 25 years --- the next 25 years: on doing work of lasting value
Eliciting a model of emergency corrective maintenance at SAS
Distribute localization for wireless sensor networks using particle swarm optimization
Comparison of Linear Discriminant Analysis and Support Vector Machine in Classification of Subdural and Extradural Hemorrhages
Design and implementation of a third-party developers auditing system based on open API
A Certification Process for Android Applications
NavClus: a graphical recommender for assisting code exploration
An agent model for computer performance enhancement
1st international workshop on release engineering (RELENG 2013)
A novel approach for business document representation and processing without semantic ambiguity in e-commerce
How to make best use of cross-company data in software effort estimation?
Real-time specification patterns
Design of embedded secure CGI daemon
Component design of retargetable program analysis tools that reuse intermediate representations
VeriWS: a tool for verification of combined functional and non-functional requirements of web service composition
An initialization method based on the core clusters for locality-weight fuzzy c-means clustering
A pedagogical view on software modeling and graph-structured diagrams
Development of real-time signal generator graphical user interface using Matlab 6.5
Recognizing and Responding to
Modular verification of software components in C
Measuring reliability of computation center software
A large scale exploratory analysis of software vulnerability life cycles
Use, disuse, and misuse of automated refactorings
Comparing static bug finders and statistical prediction
A Parallel Tree Based Strategy for T-Way Combinatorial Interaction Testing
Building test constraints for testing middleware-based distributed systems
Analysis of inductive powering harvesting circuit
Application of intelligent control based on neural networks in power system
Software development for parallel systems
A closer look at iteration: The self stabilizing capability of loops
Electrical and microstructures properties of polygate electrode in 0.5 /spl mu/m CMOS devices
Business impact of process improvements
Mining fine-grained code changes to detect unknown change patterns
Kinect-based Rehabilitation Training Assistant System Research and Implementation
Metadata invariants: checking and inferring metadata coding conventions
Notice of Retraction A decision support system of urban traffic emergency control based on expert system
Analysis of Airborne Boron and Phosphorus Contaminations on Wafer Surface by TOF-SIMS
TV ghost cancellation system using switched capacitor circuits
Using KIDS as a tool support for VDM
An experience in process assessment
Approximation of Homogeneous Linear Algebraic Transition Systems
Atlas: a new way to explore software, build analysis tools
TDR Single Ended and Differential Measurement Methodology
Using the Internet to teach software engineering
Development of safety process in model-based design platform for safety-critical systems
Software process modeling and enactment: an experience report related to problem tracking in an industrial project
A representation for describing and analyzing concerns in source code
Performance of the forward-biased RF-LNA with deep n-well NMOS transistor
Energy aware self-adaptation in mobile systems
Anomaly detection for continuous sequence based compression process
Mashing up software issue management, development, and usage data
Comprehension and evolution of legacy software (tutorial)
A Study on Issues in Context-Aware Systems Based on a Survey and Service Scenarios
Software intelligence: the future of mining software engineering data
Asking and answering questions about unfamiliar APIs: an exploratory study
Analyzing medical processes
Software tools - are we on the right track?
An object-oriented bridge among architectural styles, aspects and frameworks
Experiments on quality evaluation of embedded software in Japan robot software design contest
Predicting accurate and actionable static analysis warnings: an experimental approach
Modeling location problem of the regional disaster recovery centers for emergency platform system
Plenary lecture 2: how to test accounting harmonization upon the globalization of financial reporting systems
Liability in software engineering: overview of the LISE approach and illustration on a case study
New processes for new horizons: the incremental commitment model
Computer-aided micro-analysis of programs
Understanding conflicts arising from collaborative development
Review of cross-sectional abdominal imaging with a special focus on the bowel contraction MR imaging
PCTL∗ stochastic model checking label-extended probabilistic Petri net system model
Trenched MOSFET Vgs Uniformity Improvement through Furnace Loading Procedure
Four enhancements to automateddistributed system experimentation methods
Modular system building with Java/sup TM/ packages
Economic aspects and needs in IT-security risk management for SMEs
A case study in specification defects detection using statecharts
SNIAFL: towards a static non-interactive approach to feature location
A list-decodable code with local encoding and decoding
The design of a self-healing composition cycle for Web services
Reuse library interoperability and the World Wide Web
Social media for software engineering
Capturing and exploiting fine-grained IDE interactions
A pattern-like framework to ease dynamical change of component behaviour
UML Profiles for Design Decisions and Non-Functional Requirements
Modeling and executing adaptive sensor network applications with the Matilda UML virtual machine
Limits to Dependability Assurance--A Controversy Revisited
Supporting industrial hyperwebs: lessons in scalability
A Study on Metrics for Supporting the Software Process Improvement Based on SPICE
Learning and initial use of a software testing technology: An exploratory study
Testing and Analysis of Access Control Policies
Prototyping in industrial software projects—bridging the gap between theory and practice
Static analysis for software assurance: soundness, scalability and adaptiveness
Agile, open source, distributed, and on-time: inside the eclipse development process
Extracting synchronization-free threads in perfectly nested loops using the omega project software
The improvement of GAC model for image segmentation
Specification of Non-functional Requirements for Contract Specification in the NGOSS Framework for Quality Management and Product Evaluation
Representing Petri net structures as directed graphs
Cloudlet-based cyber-foraging for mobile systems in resource-constrained edge environments
Social issues in software engineering
DOA estimation for broadband signal that use FFT interpolation method
A network model of knowledge transfer in military C2 organization
Co-operating Evolving Components-a Formal Approach to Evolve Large Software Systems
An energy-efficient voting-based clustering algorithm for sensor networks
High-integrity code generation for state-based formalisms
Lightweight Risk Mitigation for Software Development Projects Using Repository Mining
Building high assurance secure applications using security patterns for capability-based platforms
Visualizing message patterns in object-oriented program executions
The effect of the number of inspectors on the defect estimates produced by capture-recapture models
Program evolution and its impact on software engineering
MobileTest: A Tool Supporting Automatic Black Box Test for Software on Smart Mobile Devices
MobileTest: A Tool Supporting Automatic Black Box Test for Software on Smart Mobile Devices
TODO or to bug
Realisation of a Differential Multiplier-Divider based on Current Feedback Amplifiers
Communication patterns in geographically distributed software development and engineers' contributions to the development effort
ICSE workshop on: Software Variability Management
Reuse that pays
Optimization of software development
UML Based Modeling of Web Service Composition - A Survey
A novel technique for synthesizing distributed and concurrent protocol specifications
Factors affecting team evolution during software projects
Improving UML Support for User Interface Design: A Metric Assessment of UMLi
ICSE 97 Doctoral Consortium
A citizen trust model for e-government
Position statement in Panel "Formal Methods: Too little or too much
Outsourcing-Iterative Improvement Model for Transforming Challenges to Mutual Benefits
The study on real-time system data processing and data storage
Visualizing interactions in program executions
Software component models
Towards Global and Local Types for Adaptation
Parametric expression of subthreshold slope using threshold voltage parameters for MOSFET statistical modeling
Metamodel-based tool integration with moflon
File Integrity Monitor Scheduling Based on File Security Level Classification
Engineering mobile-agent applications via context-dependent coordination
Requirements analysis for real time automation projects
Using GSwE2009 in the creation and modification of graduate software engineering programs and related curricula
Decentralised process enactment in a multi-perspective development environment
Response option for attacks detected by intrusion detection system
DYVISE: Performance analysis of production systems research demonstration
A framework for information systems construction facilitating HCI experimentation
Speech emotion recognition of decision fusion based on DS evidence theory
Micro-Scale Structures and Nano-Scale Materials for Chemical and Biological Sensors
Service-Oriented Message Queue
Notice of Retraction Supply chain management in the global luxury industry
A Leveled Examination of Test-Driven Development Acceptance
Application of the Genetic Algorithm in the process of the distributing credit card
Best practices and case study for open source middleware migration: egate to apache camel migration
An OCL extension for checking and transforming UML models
Performance analysis of space time block coded spatial modulation
Software enterprise pedagogy for project-based courses
Software process maturity: measuring its impact on productivity and quality
Runtime monitoring of component changes with Spy@Runtime
An Integrated Software Development Environment for Web Applications
GlueQoS: middleware to sweeten quality-of-service policy interactions
On using mobile crowdsourcing for timely information solicitation and sharing of prices
Language modularity with the MPS language workbench
Mulit-level system integration based on AUTOSAR
Slicing and dicing bugs in concurrent programs
User Interface Tools: a Survey and Perspective
The American law institute's principles on software contracts and their ramifications for software engineering research (NIER track)
Learning combinatorial interaction test generation strategies using hyperheuristic search
A ten-year survey of software architecture
4 th international workshop on games and software engineering (GAS 2015)
Understanding and predicting effort in software projects
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Cognition based selection and categorization of maintenance engineer (agent) using Artificial Neural Net and Data Mining methods
The second international workshop on automated program analysis, testing and verification
Talent Database Architecture for Dynamic Refresh Web-Based Application
Software evolution in componentware using requirements/assurances contracts
Effects of the Power Differences in the AND-Subtraction Detection Technique in SAC-OCDMA System Performance
Evolution of software development strategies
Interface control and incremental development in the PIC environment
A linked data-driven solution to user modeling in a Multi-Application Environment
Beyond software engineering: ten imperitives for the succeddful software developer at the end of the decade
Platform-independence in Model-based Multi-device UI Development
Fault tolerance via diversity against design faults: design principles and reliability assessment
Non-myopic active learning with performance guarantee
Two-dimension display and attribute marking of Hainan Tourism Geographic Information based on the WebGIS
Archinotes: A tool for assisting software architecture courses
Rapid requirements checks with requirements smells: two case studies
An empirical analysis of team review approaches for teaching quality software development
Designing logical architectures of software systems
Research on physiological multi-parameters information management system for health examination
Discovering frequent itemsets an improved algorithm of directed graph and array
Software process improvement for practitioners based on knowledge management tools
Predictable dynamic deployment of components in embedded systems
Predictable dynamic deployment of components in embedded systems
The strength of random search on automated program repair
Reuse vs. maintainability: revealing the impact of composition code properties
V ermeer : a tool for tracing and explaining faulty C programs
Improving requirements quality using essential use case interaction patterns
A scenario-driven approach to traceability
Notice of Retraction Members of cooperatives in China's underdeveloped areas of satisfaction with influence factors analysis
On Knowledge Services for Outsourcing Professional Development
Design and test of distributed applications
Performance debugging in the large via mining millions of stack traces
Ekstazi: lightweight test selection
Knowledge Taxonomy for Developing Organizational Memory System (OMS) for Public Institutions of Higher Learning (IHL) in Malaysia
Evolving legacy system features into fine-grained components
Applications of Neuro-Fuzzy Systems for Recognition and Reduction of Power Disturbances
A model-driven conformance testing method for 3G network management north bound interface
Suspension design analysis on the performance of MEMS area-changed lateral capacitive accelerometer
From scenarios to code: an air traffic control case study
Dependable Composite Web Services with Components Upgraded Online
A scalable sensor application framework based on hierarchical load-balancing architecture
Software Process Modeling Experience (Panel Session Position Paper)
A highly efficient particle swarm optimizer for super high-dimensional complex functions optimization
Modeling and characterization of HDTMOS power technology
Verifying DAML+OIL and beyond in Z/EVES
Continuous testing for enterprise portal technology refresh
Summary: Process Modelling and Empirical Studies of Software Evolution
Data warehousing of vehicle trajectory
Analytics for software development
Automatically Evaluating the Efficiency of Search-Based Test Data Generation for Relational Database Schemas
A Soft Set Model on Information System and Its Application in Clustering Attribute Selection
A comprehensive product line scoping approach and its validation
An Architectural Style for Solving Computationally Intensive Problems on Large Networks
An Architectural Style for Solving Computationally Intensive Problems on Large Networks
The Deft-FEWS flood forecasting system and its application in the middle-upper parts of the Huaihe River Basin, China
In search of `architectural knowledge'
How can academic software research and open source software development help each other?
A new method for automatic construction of fault propagation digraph based on OO models
Session 8B: Panel—software engineering and social responsibility
A practical method for the verification of event-driven software
Failure mechanism observed through static latchup simulation
Dynamic analysis using JavaScript proxies
Development of nanocrystalline laser ablated thick film array gas sensor
A language and front-end ind e-pendent source code analyzer generator
Predicting fruit maturity stage dynamically based on fuzzy recognition and color feature
Separation of Concerns for Mechatronic Multi-agent Systems Through Dynamic Communities
Automated Detection of Client-State Manipulation Vulnerabilities
Software reliability growth model with fault detection effort and removing effort modeling separately
The data protection of mapreduce using homomorphic encryption
Relationship between the whole of software architecture and its parts: an NFR perspective
A novel particle swarm optimization algorithm
Effective data conversion algorithm for real-time vision based human computer interface
Extension of model for research and design of complex cyber physical system
A constraint architectural description approach to self-organising component-based software systems
Collaborative and cooperative-learning in software engineering courses
Towards the principled design of software engineering diagrams
Proceedings of the FSE/SDP workshop on Future of software engineering research
Using cognitive easiness metric for program comprehension
Design recovery of interactive graphical applications
Teaching software architecture to undergraduate students: an experience report
On exploiting decentralized bio-inspired self-organization algorithms to develop real systems
Energy Consumption and CO2 Emissions of Beijing Heating System: Based on a System Dynamics Model
Forget statistics - draw graphs instead
Semantics-based reverse engineering of object-oriented data models
Selecting COTS anti-virus software for an international bank: some lessons learned!
The link between applied technical knowledge and non-cognitive traits
Strategies for prioritizing test cases generated through model-based testing approaches
A novel tag number estimation method for RFID systems
Improving context-awareness in self-adaptation using the DYNAMICO reference model
Bericht zur 17th International Conference on Software Engineering
Partition based model clone detection
Prototyping a process monitoring experiment
Model-based Simulation of Web Applications for Usability Assessment
Comparative analysis of input parameters using wavelet transform for voltage sag disturbance classification
Alcoa: the alloy constraint analyzer
MuJava: a mutation system for java
A model for program complexity analysis
Research on online payment mode of e-commerce
Design and Implementation of Power Trading Information Release System for SGCC
Applying model-based testing to healthcare products
Proceedings of the 27th international conference on Software engineering
Software process management: lessons learned from history
Modeling and Simulating Interaction Protocols Using Nested Petri Nets
Performance of OCDMA Systems Using AND Subtraction Technique
From behaviour preservation to behaviour modification: constraint-based mutant generation
Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving
Research Collaborations between Academia and Industry
Inferring better contracts
Proceedings of the 2005 international conference on Software Engineering Education in the Modern Age
An analysis of the relationship between conditional entropy and failed error propagation in software testing
A twenty year retrospective of the NATO software engineering conferences (panel session)
A Framework for Translating Legal Knowledge into Administrative Processes: Dynamic Adaption of Business Processes
Software engineering in South Africa
Product-line architectures, aspects, and reuse
Experiences with an environment generation system
Kongsberg's road to an industrial software methodology
A component-based approach to building formal analysis tools
A history-based test prioritization technique for regression testing in resource constrained environments
A multiple case study on the impact of pair programming on product quality
Project selection for student involvement in humanitarian FOSS
Estimating software fault-proneness for tuning testing activities
Sorted Compressed tree: An improve method of frequent patterns mining without support constraint
A two-period pricing model with customers' reference prices
SoQueT: Query-Based Documentation of Crosscutting Concerns
Physical and cyber convergence approach to design future complex aviation cyber physical systems
Green streams for data-intensive software
Session 3A: Debate—software development paradigms
An empirical study on the importance of quality requirements in industry
Software process description using LOTOS and its enaction
Software process assessment and improvement
Workshop on flexible modeling tools (FlexiTools 2011)
Monitoring and control in scenario-based requirements analysis
Proceedings of the 16th international conference on Software engineering
A flexible tool suite for change-aware test-driven development of web applications
Fourth international workshop on dynamic analysis (WODA 2006)
An algorithm of program structure adjustment base on interactive disassembly
Power through brokering: open source community participation in software engineering student projects
Process improvement towards ISO 9001 certification in a small software organization
Service oriented architecture for enterprise applications
PLURAL: checking protocol compliance under aliasing
Influence of social and technical factors for evaluating contribution in GitHub
Introduction to the Special Issue International Conference on Software Engineering (ICSE 2012)
Tailoring the software process to project goals and environments
Conservation laws for a third order equation by using free software MAXIMA
Reporting about industrial strength software engineering courses for undergraduates
On extracting unit tests from interactive live programming sessions
Using Video Screen Capture to Provide Assessment Feedback for Information Systems Students
Using static analysis to determine where to focus dynamic testing effort
Design and verification of communication procedures: A bottom-up approach
Distance-based location update and routing in irregular cellular networks
Towards an effective software engineering course project
Supporting generalized context interactions
Meeting the Challenges of Elemental Analysis in 90nm & Beyond Technologies - Case Studies of Scanning Auger Nanoprobe
A 1.8-V fully differential 2-stage OPAMP switched-capacitor delta-sigma modulator for Bluetooth application
Algorithm development in the mobile environment
Software architecture recovery of embedded software
An intensional approach to the specification of test cases for database applications
Industry network embeddedness and USO performance: An mediating model
Highly Chemical Reactive Ion Etching of Silicon in CF4 Containing Plasmas
The model of multimedia and cognitive learning theory
An evaluation of software test environment architectures
Anomaly detection in concurrent programs
Extended general motion model: an assembled object oriented model for moving objects
Formal Software Analysis Emerging Trends in Software Model Checking
Modelling time-constrained software development
Maiday: An environment for guided programming with a definitional language
An Introduction to the Construction and Verification of Alphard Programs (Abstract)
Predicting Fault-Prone Modules: A Comparative Study
On the Modelling of Adaptive Hypermedia Systems Using Agents for Courses with the Competency Approach
Verifying MARTE/CCSL Mode Behaviors Using UPPAAL
An Adaptive Assistant-Aided Clustering Protocol for WSNs using Niching Particle Swarm Optimization
Model-driven development of diverse user interfaces
A software engineering experiment in software component generation
Exception handling: Formal specification and systematic program construction
Performing systematic literature reviews in software engineering
Proceedings of the 2010 ICSE Workshop on Software Engineering for Sensor Network Applications
Hybrid testing and verification techniques for a cognitive radio system
A tale of four kernels
A new testing method of randomness for true random sequences
A distributed DRM platform based on a web-oriented watermarking protocol
Improving the quality of knowledge representation for requirements engineering through natural language requirements patterns
Research on the service guarantee strategy based on streaming media platform
Enhancing Dependability Through Flexible Adaptation to Changing Requirements
New Smith Predictor and CMAC-PID Control for Wireless Networked Control Systems
A Modeling Approach for Business Processes Based on Variability
WeVerca: Web Applications Verification for PHP
Symbolic assume-guarantee reasoning through BDD learning
The analytical hierarchy process as a tool to select open source software
Mobile learning system over 3G based on triple play
A framework for automatic generation of evolvable e-commerce workplaces using business processes
Call path profiling
Ubiquitous sensor technologies: The way moving forward
Effective specification of decision rights and accountabilities for better performing software engineering projects
Go-CID: generic ontology for context-aware, interoperable and data sharing applications
Software engineering for large-scale multi-agent systems - SELMAS'04
Mining Software Metrics from Jazz
Towards a model of awareness support of software development in GSD
Communications in Computer and Information Science: Performance Improvement and Interference Reduction through Complex Task Partitioning in a Self-organized Robotic Swarm
An Approach for Detecting Execution Phases of a System for the Purpose of Program Comprehension
An Adaptive Resource Management Approach for a Healthcare System
Dependability assessment of software-based systems: state of the art
Towards individualized software engineering: empirical studies should collect psychometrics
Portable secure identity management for software engineering
Fifth International Workshop on Dynamic Analysis (WODA 2007)
On the supervision and assessment of part-time postgraduate software engineering projects
WhoseFault: automatic developer-to-fault assignment through fault localization
An analysis of silicon waveguide phase modulation efficiency based on carrier depletion effect
Distributed intrusion detection scheme for wireless Ad-Hoc Networks: A review
Software Engineering and Structured Programming (Abstract)
Composite constant propagation: application to Android inter-component communication analysis
Generalized behavior-based retrieval
Development of a hybrid cost estimation model in an iterative manner
An architecture for web-based DSS
Educational computer game design model for Malaysian science and technology classroom
Organizing self-organizing teams
Using iterative and incremental processes in global software development
A demonstration of a distributed software design sketching tool
A greedy reliability estimator for usage-based statistical testing
Assuring and evolving concurrent programs: annotations and policy
DECIMAL and PLFaultCAT: From Product-Line Requirements to Product-Line Member Software Fault Trees
Experiences from the Architectural Change Process
A data driven rule-base inference approach for classification systems
Introducing Object Technology into the Software Engineering Curriculum
Communication metrics for software development
The deployer's problem: configuring application servers for performance and reliability
Implementation of 6kV ESD Protection for a 17GHz LNA in 130nm SiGeC BiCMOS
Community-based, collaborative testing and analysis
Effective software management: where do we falter?
Assuring system goals under uncertainty with active formal models of self-adaptation
Automatic synthesis of modular connectors via composition of protocol mediation patterns
FEAS: Fuzzy-Logic Based Environment Adaptive Scheduler for Agent System
Comparing multiple state diagrams to sequence diagrams using super state analysis
The Social Dynamics of Pair Programming
A Model For The Reuse Of Software Design Information
Reengineering Analysis of Object-Oriented Systems via Duplication
A large scale Linux-kernel based benchmark for feature location research
Content classification of development emails
Switched capacitor DC-DC converters enable electronic products to become more compact
High performance configurable distributed hybrid memory in structured ASIC
Using attributed grammars to test designs and implementations
Based on grammar analysis's expressiveness among the different XML-Schema Languages
From Goal-Oriented Requirements to Architectural Prescriptions: The Preskriptor Process
Carbon-based electrical interconnect and thermal interface materials
Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems
Improving test suites for efficient fault localization
AppCivist: a service-oriented software platform for socially sustainable activism
A novel relay selection scheme in multi-antenna cooperative systems
Enhancement Algorithms for SQL-Based Chatbot
Psychological intervention mechanism in public crisis information communication
3D modeling of bunch grass with simple blade based on multidimensional parameters
Understanding and improving software build teams
SCL: Static Enforcement and Exploration of Developer Intent in Source Code
Formal Verification for Interaction Protocol in Agent-Based E-Learning System Using Model Checking Toolkit - MCMAS
Remote analysis and measurement of libre software systems by means of the CVSAnalY tool
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems
Facility design using iterative heuristic algorithm
Seventh workshop on Software Quality
Research of the Mongolian synergistic index technology based on Lucene
UML-B and Event-B: an integration of languages and tools
A biologically inspired model of emotional attention
Analysis on personal credit risk of national student loans based on factor analysis
Session 4B: Programming environments I
Cobalt stripping process integration for cobalt salicide residue improvement
A formal approach to determining parallel resource bindings: experience report
A Time-Threshold-based Channel Scheme for vertical handoff in cellular/WLAN interworking
Requirements for a layered software architecture supporting cooperative multi-user interaction
A Simple Estimate of the Cost of Software Project Failures and the Breakeven Effectiveness of Project Risk Management
Improving web application testing with user session data
Java/CORBA groupware for SGML documents
A requirements engineering methodology for real-time processing requirements
U can touch this: touchifying an IDE
Lessons learned from 25 years of process improvement: the rise and fall of the NASA software engineering laboratory
Literate programming to enhance agile methods
Learn with Me: Collaborative Virtual Learning for the Special Children
Does Active Guidance Improve Software Inspections? - A Preliminary Empirical Study
What should students learn in their first (and often only) software engineering course?
Indirect dependencies in dynamic reconfiguration of component-based systems
Beyond hacking: an SOS!
Understanding IV & V in a safety critical and complex evolutionary environment: the NASA space shuttle program
Establishing education for engineers of information technology at the University of Miskolc
The discussion of cross-platform mobile application based on Phonegap
The discussion of cross-platform mobile application based on Phonegap
Software Engineering Process Improvement
YODA: young and newcomer developer assistant
Assuring System Goals Under Uncertainty with Active Formal Models of Self-adaptation
The use of a Module Interconnection Language in the SARA system design methodology
3rd international workshop on games and software engineering: engineering computer games to enable positive, progressive change (GAS 2013)
A framework for component deployment testing
Palus: a hybrid automated test generation tool for java
Improvement of Equivalent Mutant Detection Using Loop Count Restriction
New software engineering faculty symposium (NSEFS 03)
Impact of poly field plate dimension towards LDMOS performance
The Topic Tracking Based on Semantic Similarity of Sememe’s Lexical Chain
A theory of probabilistic functional testing
Workshop on global software development
Locating need-to-translate constant strings for software internationalization
Where SE and HCI Meet: A Position Paper
Fifteen years of psychology in software engineering: Individual differences and cognitive science
Flexible process modeling through decision tables
Metals/GaN Catalytic Contact Properties for Hydrogen Gas Sensor Applications
South Africa and the world beyond 2010: the latest scenarios
Direct torque control of double-star induction motors
Improving software inspections by using reading techniques
Integrating legacy systems with MDE
ReCBuLC: reproducing concurrency bugs using local clocks
Real time earthquake azimuth estimation using parallel wavelet transform
An elbow biomechanical model and its coefficients adjustment
Towards a supercollaborative software engineering MOOC
Towards a supercollaborative software engineering MOOC
A proposed low power voltage multiplier for passive UHF RFID transponder
Combination recognition of face and ear based on two-dimensional fisher linear discriminant
Towards Self-adaptation for Dependable Service-Oriented Systems
High linearity, current drivability and f/sub max/ using pseudomorphic GaAs double-heterojunction HEMT (DHHEMT)
Fuzzy ontology based knowledge reasoning framework design
Teaching software systems thinking at the open university
Validating System Requirements By Functional Decomposition And Dynamic Analysis
Semantic Web technology for Building Information Model
Investigating the skill gap between graduating students and industry expectations
Mining Approximate Frequency Itemsets over Data Streams Based on D-Hash Table
An adaptive method for multi-document data loading
Value creation in cultural and creative industry
MHC-inspired Antibody Clone Algorithm for Multimodal Function Optimization
No PAIN, no gain?: the utility of PArallel fault INjections
BugRedux: reproducing field failures for in-house debugging
The utility based tow-stage wireless network resource allocation
Software localization: the challenging aspects of Arabic to the localization process (Arabization)
Network covert channel analysis based on the density multilevel two segment clustering
Design approach for tunable CMOS active inductor
Temperature & Zincation Process Effect onElectrical Resistivity ofAluminum BondPadforUnderBump Metallurgy (UBM)
Development of a knowledge based computer assisted instruction system
International workshop on service oriented software engineering (IW-SOSE'06)
Under pressure: recommendations for managing a practical course in software engineering
CUTA4UML: bridging the gap between informal and formal requirements for dynamic system aspects
Developing graphical (software engineering) tools with PROGRES
Developing graphical (software engineering) tools with PROGRES
Substra: A Framework for Automatic Generation of Integration Tests
Knowledge transfer in collaborative teams: experiences from a two-week code camp
A twenty year retrospective of the NATO software engineering conferences (panel session): thoughts on software engineering
A High-order Cross-cumulant Coefficient measure for registering medical image or its sequence
Dynamic application of the path selection in the road
Efficiency analysis of model-based review in actual software design
Software Development Environments for Scientific and Engineering Software: A Series of Case Studies
Conspectus of software engineering environments
Identification and empirical analysis of Shaanxi industrial cluster
Tracing architecturally significant requirements: a decision-centric approach
A vision of crowd development
Dynamic restructuring in an experimental operating system
A practical experiment in teaching software engineering metrics
RegViz: visual debugging of regular expressions
Software project economics: a roadmap
ConfDiagnoser: an automated configuration error diagnosis tool for Java software
Automatic Measurement of Function Points from Java Applications
Using the ASTRAL model checker to analyze mobile IP
Managing emergent ethical concerns for software engineering in society
The Dimensionality Of Program Complexity
Research on Component Behavior Protocols Mismatch Detection and Limited Assembly
A Model-based Distributed Continuous Quality Assurance Process to Enhance the Quality of Service of Evolving Performance-intensive Software Systems
Modeling of a micro-diaphragm biosensor for human artery pulse wave detection
Communication Protocols Verification with Esterel
Verification of B+ trees: an experiment combining shape analysis and interactive theorem proving
Social Factors Relevant to Capturing Design Decisions
Incorporating fault dependent correction delay in SRGM with testing effort and release policy analysis
Analysis of the Time Complexity of Strassen Algorithm
A software behaviour analysis framework based on the human perception systems (NIER track)
Action type based access control model for XML documents
xMapper: an architecture-implementation mapping tool