2,201 resources related to

Specification languages

Top Conferences on Specification languages

2022 59th ACM/IEEE Design Automation Conference (DAC)

2022 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)

2022 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE)

SoutheastCon 2023

2021 IEEE/ACIS 19th International Conference on Computer and Information Science (ICIS)

2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE)

2021 IEEE 24th International Symposium on Real-Time Distributed Computing (ISORC)

2021 16th International Conference on Computer Science & Education (ICCSE)

2021 23rd International Conference on Advanced Communication Technology (ICACT)

2021 IEEE 29th International Requirements Engineering Conference (RE)

2021 16th Conference on Computer Science and Intelligence Systems (FedCSIS)

2021 IEEE 25th International Enterprise Distributed Object Computing Conference (EDOC)

2021 IEEE International Conference on e-Business Engineering (ICEBE)

2020 Forum for Specification and Design Languages (FDL)

2020 IEEE Symposium on Computers and Communications (ISCC)

2020 IEEE Eighth International Conference on Communications and Networking (ComNet)

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

2020 IEEE International Systems Conference (SysCon)

2019 IEEE 14th International Symposium on Autonomous Decentralized System (ISADS)

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

2019 IEEE International Conference on Electro Information Technology (EIT)

2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)

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

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

2019 IEEE 20th International Conference on Information Reuse and Integration for Data Science (IRI)

2018 IEEE International Symposium on Circuits and Systems (ISCAS)

2018 16th IEEE International New Circuits and Systems Conference (NEWCAS)

2018 IEEE 22nd International Conference on ComputerSupported Cooperative Work in Design (CSCWD)

2018 IEEE 14th International Conference on e-Science (e-Science)

2018 IEEE International Conference on Services Computing (SCC)

2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC)

2018 IEEE Congress on Evolutionary Computation (CEC)

2018 International Joint Conference on Neural Networks (IJCNN)

2018 IEEE-NPSS Real Time Conference (RT)

2018 International Symposium on Theoretical Aspects of Software Engineering (TASE)

2018 IEEE International Symposium on Signal Processing and Information Technology (ISSPIT)

2018 IEEE 13th International Symposium on Industrial Embedded Systems (SIES)

2017 16th IEEE International Conference on Machine Learning and Applications (ICMLA)

2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation

2017 IEEE 23rd International Conference on Parallel and Distributed Systems (ICPADS)

2017 23rd Asia-Pacific Conference on Communications (APCC)

2017 12th System of Systems Engineering Conference (SoSE)

2017 IEEE International Conference on Cybernetics and Computational Intelligence (CyberneticsCom)

2017 IEEE International Conference on Web Services (ICWS)

2017 13th International Conference on Emerging Technologies (ICET)

2017 IEEE 30th Conference on Software Engineering Education and Training (CSEE&T)

2017 International Conference on Advanced Computer Science and Information Systems (ICACSIS)

2017 IEEE International Conference on Intelligence and Security Informatics (ISI)

2016 5th International Conference on Multimedia Computing and Systems (ICMCS)

2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)

2016 6th IEEE International Conference on Broadband Network & Multimedia Technology (IC-BNMT)

2016 IEEE Asia Pacific Conference on Circuits and Systems (APCCAS)

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

2014 14th International Conference on Quality Software (QSIC)

2013 20th Working Conference on Reverse Engineering (WCRE)

2013 7th IEEE International Conference on Digital Ecosystems and Technologies (DEST) - Complex Environment Engineering

2013 6th International Conference on Intelligent Networks and Intelligent Systems (ICINIS)

2012 Eighth International Conference on Computational Intelligence and Security (CIS)

2012 19th Asia-Pacific Software Engineering Conference (APSEC)

2012 13th International Workshop on Microprocessor Test and Verification (MTV)

2012 17th International Conference on Engineering of Complex Computer Systems (ICECCS)

2012 35th Annual IEEE Software Engineering Workshop (SEW)

2012 Third International Conference on Networking and Computing (ICNC)

2010 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM)

2010 International Conference on E-Product E-Service and E-Entertainment (ICEEE 2010)

2010 IEEE International Behavioral Modeling and Simulation Conference (BMAS 2010)

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

2010 International Conference on Computer Application and System Modeling (ICCASM 2010)

2010 International Symposium on Information Technology (ITSim 2010)

2010 5th International Multi-Conference on Computing in the Global Information Technology (ICCGI)

2009 International Conference on Integration of Knowledge Intensive Multi-Agent Systems (KIMAS 2009) (Cancelled)

2008 3rd International Conference on Information & Communication Technologies: from Theory to Applications (ICTTA)

2006 6th International Workshop on System on Chip for Real Time Applications (IWSOC)

2006 First International Symposium on Environment Identities and Mediterranean Area (ISEIM)

2005 IEEE Conference on Information Technology: Coding and Computing (ITCC)

More links

Xplore Articles related to Specification languages

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

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

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

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

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

IEE Colloquium on 'The Application of Computer Aided Software Engineering Tools' (Digest No.24)

Adding real-time filters to object-oriented specification of time critical systems

Automatic Web Service Composition Based on Logical Inference of Horn Clauses in Petri Net Models

Knowledge-Based Application Generator: An Automatic Approach to Service- oriented Knowledge Management of Systems Knowledge

Consistency analysis of interorganizational processes based on activity diagrams

More links

Periodicals related to Specification languages

Circuits and Systems for Video Technology, IEEE Transactions on

Communications Surveys & Tutorials, IEEE

Communications, IEEE Transactions on

Computational Biology and Bioinformatics, IEEE/ACM Transactions on

Computer

Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on

Computers, IEEE Transactions on

Dependable and Secure Computing, IEEE Transactions on

Industrial Informatics, IEEE Transactions on

Knowledge and Data Engineering, IEEE Transactions on

Latin America Transactions, IEEE (Revista IEEE America Latina)

Multimedia, IEEE Transactions on

Proceedings of the IEEE

Software Engineering, IEEE Transactions on

Software, IEEE

Systems Journal, IEEE

Systems, Man and Cybernetics, Part A, IEEE Transactions on

Visualization and Computer Graphics, IEEE Transactions on

More links

E-books related to Specification languages

Using Formal Agent Specification Languages for the Analysis, Verification, and Simulation of i* Models

9 Case Studies

Electronic System-Level HW/SW Co-Design of Heterogeneous Multi-Processor Embedded Systems

Index

1 Introduction

4 System-Level Co-Specification

About the Author

References

8 System-Level Co-Simulation

11 SystemC-Based ESL Design Space Exploration for Dedicated Heterogeneous Multi-Processor Systems

More links

Courses related to Specification languages

Computing Foundations and IEEE Standards Bundle

More links

Standards related to Specification languages

(Replaced) IEEE Standard VHDL Language Reference Manual

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

IEEE Standard for the Functional Verification Language e

More links

Top Organizations on Specification languages

Circuits & Systems

Communications

Computational Intelligence

Computer

Electronic Design Automation, Council on

Engineering in Medicine & Biology

Industrial Electronics

Industry Applications

Member and Geographic Activities

Robotics & Automation

Signal Processing

Systems Council

Systems, Man & Cybernetics

Technical Activities Board

More links

Specification languages

Featured Article

Related topics

Top Conferences on Specification languages

Top Videos on Specification languages

Xplore Articles related to Specification languages

Periodicals related to Specification languages

E-books related to Specification languages

Courses related to Specification languages

Standards related to Specification languages

Top Organizations on Specification languages