Conferences related to Specification languages

Back to Top

2020 59th IEEE Conference on Decision and Control (CDC)

The CDC is the premier conference dedicated to the advancement of the theory and practice of systems and control. The CDC annually brings together an international community of researchers and practitioners in the field of automatic control to discuss new research results, perspectives on future developments, and innovative applications relevant to decision making, automatic control, and related areas.


2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE)

ICSE is the premier forum for researchers to present and discuss the most recent innovations,trends, outcomes, experiences, and challenges in the field of software engineering. The scopeis broad and includes all original and unpublished results of empirical, conceptual, experimental,and theoretical software engineering research.


2019 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)

The IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) is the premier forum for researchers to present their latest findings in the area of asynchronous design.


2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE)

The IEEE/ACM Automated Software Engineering (ASE) Conference series is the premier research forum for automated software engineering. Each year, it brings together researchers and practitioners from academia and industry to discuss foundations, techniques and tools for automating the analysis, design, implementation, testing, and maintenance of large software systems.


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.


More Conferences

Periodicals related to Specification languages

Back to Top

Circuits and Systems for Video Technology, IEEE Transactions on

Video A/D and D/A, display technology, image analysis and processing, video signal characterization and representation, video compression techniques and signal processing, multidimensional filters and transforms, analog video signal processing, neural networks for video applications, nonlinear video signal processing, video storage and retrieval, computer vision, packet video, high-speed real-time circuits, VLSI architecture and implementation for video technology, multiprocessor systems--hardware and software-- ...


Communications Surveys & Tutorials, IEEE

Each tutorial reviews currents communications topics in network management and computer and wireless communications. Available tutorials, which are 2.5 to 5 hours in length contains the original visuals and voice-over by the presenter. IEEE Communications Surveys & Tutorials features two distinct types of articles: original articles and reprints. The original articles are exclusively written for IEEE Communications Surveys & Tutorials ...


Communications, IEEE Transactions on

Telephone, telegraphy, facsimile, and point-to-point television, by electromagnetic propagation, including radio; wire; aerial, underground, coaxial, and submarine cables; waveguides, communication satellites, and lasers; in marine, aeronautical, space and fixed station services; repeaters, radio relaying, signal storage, and regeneration; telecommunication error detection and correction; multiplexing and carrier techniques; communication switching systems; data communications; and communication theory. In addition to the above, ...


Computational Biology and Bioinformatics, IEEE/ACM Transactions on

Specific topics of interest include, but are not limited to, sequence analysis, comparison and alignment methods; motif, gene and signal recognition; molecular evolution; phylogenetics and phylogenomics; determination or prediction of the structure of RNA and Protein in two and three dimensions; DNA twisting and folding; gene expression and gene regulatory networks; deduction of metabolic pathways; micro-array design and analysis; proteomics; ...


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.


More Periodicals

Most published Xplore authors for Specification languages

Back to Top

No authors for "Specification languages"


Xplore Articles related to Specification languages

Back to Top

IEE Colloquium on 'VHDL (Very High Speed Integrated Circuits Hardware Description Language) - Applications and CAE Advances' (Digest No.1993/076)

IEE Colloquium on VHDL (Very High Speed Integrated Circuits Hardware Description Language) - Applications and CAE Advances (Digest No.1993/076), 1993

None


Seventh International Conference on Software Engineering for Telecommunication Switching Systems: SETSS 89 (Conf. Publ. No.306)

Seventh International Conference on Software Engineering for Telecommunication Switching Systems, 1989. SETSS 89., 1989

None


IEE Colloquium on 'Automating Formal Methods for Computer Assisted Prototying' (Digest No.008)

IEE Colloquium on Automating Formal Methods for Computer Assisted Prototying,, 1992

None


IEE Colloquium on 'Mixed Mode Modelling and Simulation' (Digest No.1994/205)

IEE Colloquium on Mixed Mode Modelling and Simulation, 1994

None


IEE Tutorial Colloquium on 'Formal Methods and Notations Applicable to Telecommunications' (Digest No.061)

IEE Tutorial Colloquium on Formal Methods and Notations Applicable to Telecommunications, 1992

None


More Xplore Articles

Educational Resources on Specification languages

Back to Top

IEEE-USA E-Books



Standards related to Specification languages

Back to Top

(Replaced) IEEE Standard VHDL Language Reference Manual

his standard revises and enhances the VHDL language reference manual (LRM) by including a standard C language interface specification; specifications from previously separate, but related, standards IEEE Std 1164 -1993,1 IEEE Std 1076.2 -1996, and IEEE Std 1076.3-1997; and general language enhancements in the areas of design and verification of electronic systems.


IEEE Standard for Information Technology - POSIX Ada Language Interfaces - Part 1: Binding for System Application Program Interface (API)

This document is part of the POSIX series of standards for applications and user interfaces to open systems. It defines the Ada language bindings as package specifications and accompanying textual descriptions of the applications program interface (API). This standard supports application portability at the source code level through the binding between ISO 8652:1995 (Ada) and ISO/IEC 9945-1:1990 (IEEE Std 1003.1-1990 ...


IEEE Standard for the Functional Verification Language e

The scope of this standard is the definition of the e functional verification language. This standard aims to serve as an authoritative source for the definition of: a) syntax and semantics of e language constructs b) the e language interaction with standard simulation languages c) e language libraries This revision extends the standard to cover novel verification-related features.



Jobs related to Specification languages

Back to Top