IEEE Transactions on Software Engineering

View this topic in
The IEEE Transactions on Software Engineering is a bimonthly, peer-reviewed, scientific journal published by the IEEE Computer Society. (Wikipedia.org)






Conferences related to IEEE Transactions on Software Engineering

Back to Top

2018 IEEE 22nd International Conference on Intelligent Engineering Systems (INES)

The aim of INES conference series is to provide researchers and practitioners from industry and academia with a platform to report on recent developments in the area of computational intelligence.


2018 IEEE 27th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)

state-of-the-art research in enabling technologies for collaboration


2018 IEEE PES Innovative Smart Grid Technologies Conference Europe (ISGT-Europe)

The Conference scope covers the following topics:- Smart grid technologies,- Smart grid communications and information technologies,- Distributed energy resources and network integration,- Electric vehicle applications and system integration,- Micro-grid applications and islanding operation,- PMUs, smart grid measurement, protection, control & operation,- Physical, cyber and system security for smart grid,- Computation intelligence and IEDs for smart grids,- Sensing, communications and smart metering infrastructure,- Demand side management, smart buildings and home automation,- Diagnostics, self-healing and reliability of smart grids,- Power quality issues and FACTs devices,- Electricity markets, incentives, regulation and pricing,- Smart grid interoperability, standards and codes,- Data analytics


2014 8th IEEE International Conference on Software Security and Reliability (SERE)

SERE 2014 is the eighth annual conference sponsored by the IEEE Reliability Society on Software Security and Reliability, with SE representing SEcurity and RE for Reliability. The conference draws engineers and scientists from both industry and academia to present their on-going work, relate their research outcomes and experiences, and discuss the best and most efficient techniques for the development of reliable, secure, and trustworthy systems. It not only allows the academic community to gain an increased awareness of the areas that are vital to the industry, but it also grants practitioners an opportunity to express their needs.


2014 IEEE International Conference on Software Maintenance and Evolution (ICSME)

ICSM is the premier international venue in software maintenance and evolution, where researchers and professionals from academia, government, and industry meet and share ideas and experiences for solving critical software maintenance problems. ICSM 2014 will be held in Victoria, British Columbia, Canada.


More Conferences

Periodicals related to IEEE Transactions on Software Engineering

Back to Top

Antennas and Propagation, IEEE Transactions on

Experimental and theoretical advances in antennas including design and development, and in the propagation of electromagnetic waves including scattering, diffraction and interaction with continuous media; and applications pertinent to antennas and propagation, such as remote sensing, applied optics, and millimeter and submillimeter wave techniques.


Applied Superconductivity, IEEE Transactions on

Contains articles on the applications and other relevant technology. Electronic applications include analog and digital circuits employing thin films and active devices such as Josephson junctions. Power applications include magnet design as well asmotors, generators, and power transmission


Automatic Control, IEEE Transactions on

The theory, design and application of Control Systems. It shall encompass components, and the integration of these components, as are necessary for the construction of such systems. The word `systems' as used herein shall be interpreted to include physical, biological, organizational and other entities and combinations thereof, which can be represented through a mathematical symbolism. The Field of Interest: shall ...


Automation Science and Engineering, IEEE Transactions on

The IEEE Transactions on Automation Sciences and Engineering (T-ASE) publishes fundamental papers on Automation, emphasizing scientific results that advance efficiency, quality, productivity, and reliability. T-ASE encourages interdisciplinary approaches from computer science, control systems, electrical engineering, mathematics, mechanical engineering, operations research, and other fields. We welcome results relevant to industries such as agriculture, biotechnology, healthcare, home automation, maintenance, manufacturing, pharmaceuticals, retail, ...


Biomedical Circuits and Systems, IEEE Transactions on

The Transactions on Biomedical Circuits and Systems addresses areas at the crossroads of Circuits and Systems and Life Sciences. The main emphasis is on microelectronic issues in a wide range of applications found in life sciences, physical sciences and engineering. The primary goal of the journal is to bridge the unique scientific and technical activities of the Circuits and Systems ...


More Periodicals

Most published Xplore authors for IEEE Transactions on Software Engineering

Back to Top

Xplore Articles related to IEEE Transactions on Software Engineering

Back to Top

Data Quality: Some Comments on the NASA Software Defect Datasets

IEEE Transactions on Software Engineering, 2013

Background--Self-evidently empirical analyses rely upon the quality of their data. Likewise, replications rely upon accurate reporting and using the same rather than similar versions of datasets. In recent years, there has been much interest in using machine learners to classify software modules into defect- prone and not defect-prone categories. The publicly available NASA datasets have been extensively used as part ...


Foreword

IEEE Transactions on Software Engineering, 1987

None


Comments on "On object systems and behavioral inheritance"

IEEE Transactions on Software Engineering, 2003

After reviewing the regular paper "On Object Systems and Behavioral Inheritance" in IEEE Transactions on Software Engineering, vol. 28, no. 9, Sept. 2002, and discussing it with Professor H.C. Jiau, several errors were found and are stated.


Operations and implementation of complex objects

IEEE Transactions on Software Engineering, 1988

A model of a complex object is presented and a set of meaningful operations, both basic and advanced, on a single complex object and on a configuration of complex objects is defined. A set of requirements is presented for storage subsystems that support complex objects. Implementation of complex objects and operations on a single complex object are described, and a ...


Coverage Prediction for Accelerating Compiler Testing

IEEE Transactions on Software Engineering, None

Compilers are one of the most fundamental software systems. Compiler testing is important for assuring the quality of compilers. Due to the crucial role of compilers, they have to be well tested. Therefore, automated compiler testing techniques (those based on randomly generated programs) tend to run a large number of test programs (which are test inputs of compilers). The cost ...


More Xplore Articles

Educational Resources on IEEE Transactions on Software Engineering

Back to Top

IEEE-USA E-Books

  • Data Quality: Some Comments on the NASA Software Defect Datasets

    Background--Self-evidently empirical analyses rely upon the quality of their data. Likewise, replications rely upon accurate reporting and using the same rather than similar versions of datasets. In recent years, there has been much interest in using machine learners to classify software modules into defect- prone and not defect-prone categories. The publicly available NASA datasets have been extensively used as part of this research. Objective--This short note investigates the extent to which published analyses based on the NASA defect datasets are meaningful and comparable. Method--We analyze the five studies published in the IEEE Transactions on Software Engineering since 2007 that have utilized these datasets and compare the two versions of the datasets currently in use. Results--We find important differences between the two versions of the datasets, implausible values in one dataset and generally insufficient detail documented on dataset preprocessing. Conclusions--It is recommended that researchers 1) indicate the provenance of the datasets they use, 2) report any preprocessing in sufficient detail to enable meaningful replication, and 3) invest effort in understanding the data prior to applying machine learners.

  • Foreword

    None

  • Comments on "On object systems and behavioral inheritance"

    After reviewing the regular paper "On Object Systems and Behavioral Inheritance" in IEEE Transactions on Software Engineering, vol. 28, no. 9, Sept. 2002, and discussing it with Professor H.C. Jiau, several errors were found and are stated.

  • Operations and implementation of complex objects

    A model of a complex object is presented and a set of meaningful operations, both basic and advanced, on a single complex object and on a configuration of complex objects is defined. A set of requirements is presented for storage subsystems that support complex objects. Implementation of complex objects and operations on a single complex object are described, and a detailed performance analysis is provided which establishes the merit of complex objects. Finally, storage techniques are proposed for supporting advanced operations on a configuration of complex objects.<<ETX>>

  • Coverage Prediction for Accelerating Compiler Testing

    Compilers are one of the most fundamental software systems. Compiler testing is important for assuring the quality of compilers. Due to the crucial role of compilers, they have to be well tested. Therefore, automated compiler testing techniques (those based on randomly generated programs) tend to run a large number of test programs (which are test inputs of compilers). The cost for compilation and execution for these test programs is significant. These techniques can take a long period of testing time to detect a relatively small number of compiler bugs. That may cause many practical problems, e.g., bringing a lot of costs including time costs and financial costs, and delaying the development/release cycle. Recently, some approaches have been proposed to accelerate compiler testing by executing test programs that are more likely to trigger compiler bugs earlier according to some criteria. However, these approaches ignore an important aspect in compiler testing: different test programs may have similar test capabilities (i.e., testing similar functionalities of a compiler, even detecting the same compiler bug), which may largely discount their acceleration effectiveness if the test programs with similar test capabilities are executed all the time. Test coverage is a proper approximation to help distinguish them, but collecting coverage dynamically is infeasible in compiler testing since most test programs are generated on the fly by automatic test-generation tools like Csmith. In this paper, we propose the first method to predict test coverage statically for compilers, and then propose to prioritize test programs by clustering them according to the predicted coverage information. The novel approach to accelerating compiler testing through coverage prediction is called COP (short for COverage Prediction). Our evaluation on GCC and LLVM demonstrates that COP significantly accelerates compiler testing, achieving an average of 51.01% speedup in test execution time on the existing constructed dataset and achieving an average of 68.74% speedup on the new dataset including 12 latest release versions of GCC and LLVM. Moreover, COP outperforms the state-of-the- art acceleration approach significantly by improving 17.16%~82.51% speedups in different settings on average.

  • Empirical Software Engineering

    None

  • Incremental design of a power transformer station controller using a controller synthesis methodology

    The authors describe the incremental specification of a power transformer station controller using a controller synthesis methodology. They specify the main requirements as simple properties, named control objectives, that the controlled plant has to satisfy. Then, using algebraic techniques, the controller is automatically derived from this set of control objectives. In our case, the plant is specified at a high level, using the data-flow synchronous SIGNAL language, and then by its logical abstraction, called polynomial dynamical system. The control objectives are specified as invariance, reachability, ...properties, as well as partial order relations to be checked by the plant. The control objectives equations are synthesized using algebraic transformations.

  • Absolute bounds on set intersection and union sizes from distribution information

    A catalog of quick closed-form bounds on set intersection and union sizes is presented; they can be expressed as rules, and managed by a rule-based system architecture. These methods use a variety of statistics precomputed on the data, and exploit homomorphisms (onto mappings) of the data items onto distributions that can be more easily analyzed. The methods can be used anytime, but tend to work best when there are strong or complex correlations in the data. This circumstance is poorly handled by the standard independence- assumption and distributional-assumption estimates.<<ETX>>

  • Empirical data modeling in software engineering using radial basis functions

    Many empirical studies in software engineering involve relationships between various process and product characteristics derived via linear regression analysis. We propose an alternative modeling approach using radial basis functions (RBFs) which provide a flexible way to generalize linear regression function. Further, RBF models possess strong mathematical properties of universal and best approximation. We present an objective modeling methodology for determining model parameters using our recent SG algorithm, followed by a model selection procedure based on generalization ability. Finally, we describe a detailed RBF modeling study for software effort estimation using a well-known NASA dataset.

  • Correcton to "SOFL": A formal engineering methodology for industrial applicatoins

    None



Standards related to IEEE Transactions on Software Engineering

Back to Top

No standards are currently tagged "IEEE Transactions on Software Engineering"


Jobs related to IEEE Transactions on Software Engineering

Back to Top