Conferences related to IEEE standard glossaries

Back to Top

2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST)

ICST 2019 is intended to provide a common forum for researchers, scientists, engineers and practitioners throughout the world to present their latest research findings, ideas, developments and applications in the area of Software Testing, Verification and Validation. Topics of interest include, but are not limited to:Testing theory and practice, Testing in globally-distributed organizations, Model-based testing, Model-driven engineering and testing, Domain specific testing, Quality assurance, Model checking, Formal verification, Fuzzing, Inspections, Testing and analysis tools, Design for testability, Testing education, Technology transfer in testing, Testing of open source, etc. Besides research track papers, the conference also include doctoral forum, software testing contest and various workshops.

  • 2018 IEEE International Conference on Software Testing, Verification and Validation (ICST)

    The (IEEE) International Conference on Software Testing Verification and Validation (ICST) offers an open forum for software testing, verification and validation research and its transfer to practice. One of the main goals of ICST is to bridge research and practice in software testing, verification, and validation. Furthermore, it aims at stimulating scientific research on model-based software testing, domain specific testing, empirical studies of testing techniques, and the technology transfer of research results to software development practices.

  • 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)

    The 10th edition of the IEEE International Conference on Software Testing, Verification, and Validation (ICST) is the premier conference for research in all areas related to software quality. The ever increasing complexity, ubiquity, and dynamism of modern software systems is making software quality assurance activities, and in particular software testing and analysis, more challenging. ICST 2017 provides an ideal forum where academics, industrial researchers, and practitioners can present their latest approaches for ensuring the quality of today's complex software systems, exchange and discuss ideas, and compare experiences. In this spirit, ICST welcomes both research papers that present high quality original work and industry reports from practitioners that present real world experiences from which others can benefit.

  • 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST)

    ICST brings together researchers and practitioners for a conference that includes all aspects of software testing, verification, and validation. ICST includes research papers, industrial experience reports and presentations, tool demonstrations, and tutorials. For the research papers, ICST seeks high quality original work that has never been published and that advances the state of the art in software testing, verification and validation. For the industrial experience reports, ICST seeks papers and presentations that present real world experience from which others can benefit. Tool demonstrations are also welcome, especially those openly available for others to use. Finally, we are seeking tutorials that are relevant to both practitioners and researchers. See the specific calls for more details. Extended versions of the best papers from ICST conferences are regularly published in special editions of JSTVR.

  • 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST)

    The 8th edition of the IEEE International Conference on Software Testing, Verification, and Validation (ICST) is the premier conference for research in all areas related to software quality. The ever increasing complexity, ubiquity, and dynamism of modern software systems is making software quality assurance activities, and in particular software testing and analysis, more challenging. ICST 2015 provides an ideal forum where academics, industrial researchers, and practitioners can present their latest approaches for ensuring the quality of today

  • 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation (ICST)

    This conference is a premier conference in all areas related to software quality, including testing, inspection

  • 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST)

    ICST seeks to address the problems in verification and validation, by bringing together researchers and practitioners for a conference that includes all aspects of software testing, as it is most widely construed. Thus, ICST welcomes research papers as well as industrial experience reports from software development and testing practitioners.

  • 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST)

    ICST is the premier conference in all areas related to software quality, software quality assurance, software validation and verification, and software testing.

  • 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation (ICST)

    Testing, verification and validation activities are already flourishing areas with an active participation of a large community of researchers, experts, and industrialists. This community is highly aware of the importance and impact of testing on the future deployment and use of software and software intensive systems. As a leading software testing and verification&validation conference ICST has been very successful in bringing industry and research together to help shape the future of testing.

  • 2010 3rd IEEE International Conference on Software Testing, Verification and Validation (ICST)

    ICST bring industry and research together to help shape the future of software testing

  • 2009 2nd IEEE International Conference on Software Testing, Verification and Validation (ICST)

    ICST is the premier conference in all areas related to software quality. ICST bridges research and practice with tracks for research and industry papers, student papers, fast abstracts, and specilaized workshops.

  • 2008 1st IEEE International Conference on Software Testing, Verification and Validation (ICST)

    The new IEEE International Conference on Software Testing Verification and Validation (ICST) will offer an open forum for software testing, verification and validation research and its transfer to practice. Among other things, it aims at stimulating scientific research on model-based software testing, domain specific testing, empirical studies of testing techniques, and the technology transfer of research results to software development practices.


2019 IEEE International Systems Conference (SysCon)

addresses the discipline of systems engineering,including theory, technology, methodology, andapplications of complex systems, system-of-systems,and integrated systems of national and globalsignificance.

  • 2018 Annual IEEE International Systems Conference (SysCon)

    The Conference addresses the discipline of systemsengineering, including theory, technology, methodology,and applications of complex systems, system-of-systems,and integrated systems of national and globalsignificance. It focuses on Systems Engineering for Complex Systems; and the conference caters to both practitioners andacademics, providing a forum to exchange ideas andexperiences on technology, methodology, applications,study cases, and practical experiences.

  • 2017 Annual IEEE International Systems Conference (SysCon)

    The IEEE International Systems Conference facilitates interactions among communities of interest on system-level problems andapplications. System-level thinking is essential in the worldtoday, not only for technical systems, but also for societyat large. The Conference addresses the discipline of systemsengineering, including theory, technology, methodology,and applications of complex systems, system-of-systems,and integrated systems of national and globalsignificance.

  • 2016 Annual IEEE Systems Conference (SysCon)

    The theme of the IEEE International SystemsConference is Engineering of Complex Systems, to includeSystems-of-systems, Systems Engineering, Systems Integration,and Systems Thinking

  • 2015 Annual IEEE Systems Conference (SysCon)

    The theme of the IEEE International Systems Conference is Engineering of Complex Systems, to include Systems-of-systems, Systems Engineering, Systems Integration, and Systems Thinking.

  • 2014 8th Annual IEEE Systems Conference (SysCon)

    This conference seeks to create an interactive forum forthe advancement of the practice of systems engineeringacross the multiple disciplines and specialty areasassociated with the engineering of complex systems. Theconference will provide a venue for systems engineeringpractitioners, managers, researchers, and educators toexchange innovative concepts, ideas, applications, andlessons learned addressing: Applications-oriented topics on large-scale systemsand system-of-systems in topics noted below

  • 2013 7th Annual IEEE Systems Conference (SysCon)

    Conference addresses systems, complex systems, systems-of-systems, critical systems, and the systems engineering disciplines needed to implement such large-scale or complex systems in the international arena.

  • 2012 6th Annual IEEE Systems Conference (SysCon)

    The IEEE Systems Conference is Engineering Complex Integrated Systems and Systems-of-Systems Implications for Systems Engineering, Systems Integration, and Systems Thinking.

  • 2011 IEEE International Systems Conference (SysCon)

    IEEE International Systems Conference Scope is Engineering of Complex Systems, to include Systems-of-systems, Large-scale Systems Integration, and Systems Engineering and Systems Thinking.

  • 2010 4th Annual IEEE Systems Conference

    The theme of the IEEE Systems Conference is Engineering Complex Integrated Systems and Systems-of-systems Implications for Systems Engineering, Systems Integration, and Systems Thinking.

  • 2009 3rd Annual IEEE Systems Conference

    Engineering Comles Integtared Systems and Systems-of-Systems - Implications for Systems Engineering, Systems Integration, and Systems Thinking

  • 2008 2nd Annual IEEE Systems Conference

    The theme of the IEEE Systems Conference is Engineering Complex Integrated Systems and Systems-of-systems- Implications for Systems Engineering, Systems Integration, and Systems Thinking.

  • 2007 1st Annual IEEE Systems Conference

    The theme of the IEEE Systems Conference is Engineering Complex Integrated Systems and Systems-of-systems - Implications for Systems Engineering, Systems Integration, and Systems Thinking.


2018 IEEE 29th International Symposium on Software Reliability Engineering (ISSRE)

The 29th annual International Symposium on Software Reliability Engineering (ISSRE 2018) is focused on innovative techniques and tools for assessing, predicting, and improving the reliability, safety, and security of software products. ISSRE also emphasizes industrial relevance, rigorous empirical studies and experience reports on existing software systems.


2013 IEEE Symposium on Humanities, Science and Engineering Research (SHUSER)

This symposium discusses the interaction of Humanities, Science and Engineering Research where its involves engineers, scientist and social scientist to feel and converged the impact of the technology to the society.

  • 2012 IEEE Symposium on Humanities, Science and Engineering Research (SHUSER)

    This symposium will offer value added opportunities for participants to network and share experiences in a unique inter-disciplinary environment relevant to IEEE s vision of Advancing Technology for Humanities beyond traditional boundaries.

  • 2011 International Symposium on Humanities, Science and Engineering Research (SHUSER)

    An event focusing into latest findings amongst researchers in scientific applications applications as a platform for interdisciplinary areas whilst advancing technology for humanities. It relates to science, engineering and social impact of technology. This annual event is to bring together scientists, engineers and postgraduates who work in these fields; to share their ideas and experience. Papers are solicited on recent research results and applications in diverse areas.


2010 International Conference on Computer Science and Software Engineering (CSSE 2010)

The 3rd International Conference on Computer Science and Software Engineering (CSSE 2010) will be held on December 12~14, 2010 in Changsha, China. This conference will bring together the top researchers from Asian Pacific nations, North America, Europe and around the world to exchange their research results and address open issues in information security, multimedia and graphics technologies, computational intelligence, and software engineering..

  • 2009 International Conference on Computer Science and Software Engineering (CSSE 2009)

    The 2nd International Conference on Computer Science and Software Engineering (CSSE 2009) will be held on December 13~15, 2009 in Shenzhen, China. This conference will bring together the top researchers from Asian Pacific nations, North America, Europe and around the world to exchange their research results and address open issues in information security, multimedia and graphics technologies, computational intelligence, and software engineering.

  • 2008 International Conference on Computer Science and Software Engineering (CSSE 2008)

    all areas related to computer science and software engineering



Periodicals related to IEEE standard glossaries

Back to Top

Computer

Computer, the flagship publication of the IEEE Computer Society, publishes peer-reviewed technical content that covers all aspects of computer science, computer engineering, technology, and applications. Computer is a resource that practitioners, researchers, and managers can rely on to provide timely information about current research developments, trends, best practices, and changes in the profession.


Computer Graphics and Applications, IEEE

IEEE Computer Graphics and Applications (CG&A) bridges the theory and practice of computer graphics. From specific algorithms to full system implementations, CG&A offers a strong combination of peer-reviewed feature articles and refereed departments, including news and product announcements. Special Applications sidebars relate research stories to commercial development. Cover stories focus on creative applications of the technology by an artist or ...


Nuclear Science, IEEE Transactions on

All aspects of the theory and applications of nuclear science and engineering, including instrumentation for the detection and measurement of ionizing radiation; particle accelerators and their controls; nuclear medicine and its application; effects of radiation on materials, components, and systems; reactor instrumentation and controls; and measurement of radiation in space.


Pattern Analysis and Machine Intelligence, IEEE Transactions on

Statistical and structural pattern recognition; image analysis; computational models of vision; computer vision systems; enhancement, restoration, segmentation, feature extraction, shape and texture analysis; applications of pattern analysis in medicine, industry, government, and the arts and sciences; artificial intelligence, knowledge representation, logical and probabilistic inference, learning, speech recognition, character and text recognition, syntactic and semantic processing, understanding natural language, expert systems, ...


Power Delivery, IEEE Transactions on

Research, development, design, application, construction, the installation and operation of apparatus, equipment, structures, materials, and systems for the safe, reliable, and economic delivery and control of electric energy for general industrial, commercial, public, and domestic consumption.


More Periodicals

Most published Xplore authors for IEEE standard glossaries

Back to Top

No authors for "IEEE standard glossaries"


Xplore Articles related to IEEE standard glossaries

Back to Top

Model-based meta-standardization

2010 IEEE International Systems Conference, 2010

To cope with current inconsistencies and incompleteness of technical documents, we propose a combined, model-based structured graphical and textual meta-standard approach for specification, verification and validation of complex systems in general and ISO enterprise standards in particular. This methodology, developed under the auspices of the ISO TC 184/SC 5 OPM Study Group, is presented along with MBASE-Model-Based Authoring of Specifications ...


Process Algebra Based for Requirement Process Reorganization

2008 International Conference on Computer Science and Software Engineering, 2008

Requirement is very important part of software process. In order to truly meet the requirements of customer, it is necessary to establish an appropriate requirement management process, software process reorganization is particularly important. In this paper, firstly, a description of the requirement process is presented after software requirement process was analyzed from the perspective of requirement engineering. Then, analyzing and ...


IRE Electroacoustics Standards: Genesis of the Glossary of Acoustical Definitions

Proceedings of the IRE, 1951

None


Standards: past tense and future perfect? (graphics)

IEEE Computer Graphics and Applications, 1991

The author discusses what has been accomplished in the graphics standards area in the last decade and what lies in store in the decade ahead. He discusses issues that affect the development, implementation, and end users of graphics and data exchange standards in general. They concern scope, target, size and complexity, technology, understanding of interchange formats, automation, and the nature ...


Towards Robust Layered Learning

Third International Conference on Autonomic and Autonomous Systems (ICAS'07), 2007

In his landmark work introducing layered learning Stone presented a new way of handling complex application domains suitable especially for mobile robots. We extend his framework by introducing robust layered learning- a framework that is able to handle system and environmental changes at every layer. We present first results of a lower level implementation of such a framework for mobile ...


More Xplore Articles

Educational Resources on IEEE standard glossaries

Back to Top

IEEE-USA E-Books

  • Model-based meta-standardization

    To cope with current inconsistencies and incompleteness of technical documents, we propose a combined, model-based structured graphical and textual meta-standard approach for specification, verification and validation of complex systems in general and ISO enterprise standards in particular. This methodology, developed under the auspices of the ISO TC 184/SC 5 OPM Study Group, is presented along with MBASE-Model-Based Authoring of Specifications Environment, which is designed to support authors of technical specifications while creating and editing model-based technical documents.

  • Process Algebra Based for Requirement Process Reorganization

    Requirement is very important part of software process. In order to truly meet the requirements of customer, it is necessary to establish an appropriate requirement management process, software process reorganization is particularly important. In this paper, firstly, a description of the requirement process is presented after software requirement process was analyzed from the perspective of requirement engineering. Then, analyzing and simplifying process algebraic expression, the approach of process algebra based for the requirement process reorganization is presented proceeded. Finally, the results of shows that development time are shortened, resources are saved and development efficiency is improved.

  • IRE Electroacoustics Standards: Genesis of the Glossary of Acoustical Definitions

    None

  • Standards: past tense and future perfect? (graphics)

    The author discusses what has been accomplished in the graphics standards area in the last decade and what lies in store in the decade ahead. He discusses issues that affect the development, implementation, and end users of graphics and data exchange standards in general. They concern scope, target, size and complexity, technology, understanding of interchange formats, automation, and the nature of the end users.<<ETX>>

  • Towards Robust Layered Learning

    In his landmark work introducing layered learning Stone presented a new way of handling complex application domains suitable especially for mobile robots. We extend his framework by introducing robust layered learning- a framework that is able to handle system and environmental changes at every layer. We present first results of a lower level implementation of such a framework for mobile robots and discuss how all available sources of information regarding unforeseen changes can be integrated in such a framework in order to reach maximal robustness.

  • The relationship of slicing and debugging to program understanding

    The paper describes a study that explores the relationship between program slicing and code understanding gained while debugging. The study consisted of an experiment that compared the program understanding abilities of two classes of debuggers: those who slice while debugging and those who do not. For debugging purposes, a slice can be thought of as a minimal subprogram of the original code that contains the program faults. Those who only examine statements within a slice for correctness are considered slicers; all others are considered non-slicers. Using accuracy of reconstruction as a measure of understanding, it was determined that slicers have a better understanding of the code after debugging.

  • Mining Interface Specifications for Generating Checkable Robustness Properties

    A software system interacts with its environment through interfaces. Improper handling of exceptional returns from system interfaces can cause robustness problems. Robustness of software systems are governed by various temporal properties related to interfaces. Static verification has been shown to be effective in checking these temporal properties. But manually specifying these properties is cumbersome and requires the knowledge of interface specifications, which are often either unavailable or undocumented. In this paper, we propose a novel framework to automatically infer system-specific interface specifications from program source code. We use a model checker to generate traces related to the interfaces. From these model checking traces, we infer interface specification details such as return value on success or failure. Based on these inferred specifications, we translate generically specified interface robustness rules to concrete robustness properties verifiable by static checking. Hence the generic rules can be specified at an abstract level that needs no knowledge of the source code, system, or interfaces. We implement our framework for an existing static analyzer that employs push down model checking and apply the analyzer to the well known POSIX-API system interfaces. We found 28 robustness violations in 10 open source packages using our framework

  • A review of metrics for knowledge management systems and knowledge management initiatives

    Metrics are essential for the advancement of research and practice in an area. In knowledge management (KM), the process of measurement and development of metrics is made complex by the intangible nature of the knowledge asset. Further, the lack of standards for KM business metrics and the relative infancy of research on KM metrics points to a need for research in this area. This paper reviews KM metrics for research and practice and identifies areas where there is a gap in our understanding. It classifies existing research based on the units of evaluation such as user of KMS, KMS, project, KM process, KM initiative, and organization as a whole. The paper concludes by suggesting avenues for future research on KM and KMS metrics based on the gaps identified.

  • Testability of Dynamic Real-Time Systems: An Empirical Study of Constrained Execution Environment Implications

    Real-time systems must respond to events in a timely fashion; in hard real- time systems the penalty for a missed deadline is high. It is therefore necessary to design hard real-time systems so that the timing behavior of the tasks can be predicted. Static real-time systems have prior knowledge of the worst-case arrival patterns and resource usage. Therefore, a schedule can be calculated off-line and tasks can be guaranteed to have sufficient resources to complete (resource adequacy). Dynamic real-time systems, on the other hand, do not have such prior knowledge, and therefore must react to events when they occur. They also must adapt to changes in the urgencies of various tasks, and fairly allocate resources among the tasks. A disadvantage of static real-time systems is that a requirement on resource adequacy makes them expensive and often impractical. Dynamic realtime systems, on the other hand, have the disadvantage of being less predictable and therefore difficult to test. Hence, in dynamic systems, timeliness is hard to guarantee and reliability is often low. Using a constrained execution environment, we attempt to increase the testability of such systems. An initial step is to identify factors that affect testability. We present empirical results on how various factors in the execution environment impacts testability of real-time systems. The results show that some of the factors, previously identified as possibly impacting testability, do not have an impact, while others do.

  • IEEE Standard Test Procedures for Photomultipliers for Scintillation Counting and Glossary for Scintillation Counting field IEEE Standard 398-1972

    None




Jobs related to IEEE standard glossaries

Back to Top