Conferences related to Programming

Back to Top

2019 10th International Conference on Computing, Communication and Networking Technologies (ICCCNT)

The 10th International Conference on Computing, Communication and Networking Technologies (ICCCNT) aims to provide a forum that brings together International researchers from academia and practitioners in the industry to meet and exchange ideas and recent research work on all aspects of Information and Communication Technologies including Computing, communication, IOT, LiDAR, Image Analysis, wireless communication and other new technologies

  • 2018 9th International Conference on Computing, Communication and Networking Technologies (ICCCNT)

    The Ninth International Conference on Computing, Communication and Networking Technologies (9th ICCCNT 2018) aims to provide a forum that brings together International researchers from academia and practitioners in the industry to meet and exchange ideas and recent research work on all aspects of Information and Communication Technologies. Following the great success of ICCCNT’08, ICCCNT’10, ICCCNT’12, ICCCNT'13, ICCCNT'14 , ICCCNT'15,ICCCNT'16 and ICCCNT'17. The ninth edition of the event, ICCCNT’17, will be held in IISc, Bangalore on July 10-12, 2018. The conference will consist of keynote speeches, technical sessions, and exhibition. The technical sessions will present original and fundamental research advances, and the workshops will focus on hot topics in Information and Communication Engineering. Experts from NASA, MIT, Japan will give key note speeches

  • 2017 8th International Conference on Computing, Communication and Networking Technologies (ICCCNT)

    (ICCCNT) aims to provide a forum that brings together International researchers from academia and practitioners in the industry to meet and exchange ideas and recent research work on all aspects of Information and Communication Technologies.

  • 2015 6th International Conference on Computing, Communication and Networking Technologies (ICCCNT)

    The Sixth International Conference on Computing, Communications and Networking Technologies (ICCCNT) aims to provide a forum that brings together International researchers from academia and practitioners in the industry to meet and exchange ideas and recent research work on all aspects of Information and Communication Technologies

  • 2014 5th International Conference on Computing Communication and Networking Technologies (ICCCNT)

    The Fifth International Conference on Computing, Communications and Networking Technologies (ICCCNT) aims to provide a forum that brings together International researchers from academia and practitioners in the industry to meet and exchange ideas and recent research work on all aspects of Information and Communication Technologies

  • 2013 Fourth International Conference on Computing, Communications and Networking Technologies (ICCCNT)

    The scope of the Conference includes include, but are certainly not limited to the following:Mobile computingGrid / Cloud / Parallel ComputingOptical / Quantum ComputingSoft ComputingPattern RecognitionSignal / Image ProcessingBiometrics / Biomedical EngineeringMobile CommunicationBroadband CommunicationWireless CommunicationOptical CommunicationRF ElectronicsElectronics Devices / SystemsVLSI / Embedded SystemsMEMS/NEMSNanotechnologyPhotonic / Opto-electronic Structures / DevicesOptical NetworksMobile / Sensor / Ad-hoc NetworksInternet/Multimedia NetworksNetwork Security / Cryptography

  • 2012 Third International Conference on Computing, Communication and Networking Technologies (ICCCNT'12)

    The purpose of ICCCNT 2012 is to bring together researchers from the computing, communication and networking communities to present ground-breaking research and debate key issues of common interest. International experts will share their vision, extensive experience and knowledge gained through modeling, lab and field trials and will discuss the applications of a variety of technologies world wide. It also provides ideal opportunities for consolidating and establishing collaborations at the international level.

  • 2010 International Conference on Computing, Communication and Networking Technologies (ICCCNT'10)

    The second International Conference on Computing, Communication and Networking Technologies (ICCCNT 10) will be held at the Chettinad College of Engineering and Technology (CCET), Karur (DT), TamilNadu, India from July 29th to 31st 2010. The CCET is promoted by a reputed 75 year old Group of Educational Institutions Chettinad House . The purpose of ICCCNT 10, is to bring together researchers from the computing, communication and networking communities to present ground-breaking research and debate key


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 56th ACM/ESDA/IEEE Design Automation Conference (DAC)

EDA (Electronics Design Automation) is becoming ever more important with the continuous scaling of semiconductor devices and the growing complexities of their use in circuits and systems. Demands for lower-power, higher-reliability and more agile electronic systems raise new challenges to both design and design automation of such systems. For the past five decades, the primary focus of research track at DAC has been to showcase leading-edge research and practice in tools and methodologies for the design of circuits and systems.

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

    The world's premier EDA and semiconductor design conference and exhibition. DAC features over 60 sessions on design methodologies and EDA tool developments, keynotes, panels, plus the NEW User Track presentations. A diverse worldwide community representing more than 1,000 organizations attends each year, from system designers and architects, logic and circuit designers, validation engineers, CAD managers, senior managers and executives to researchers and academicians from leading universities.

  • 2021 58th ACM/ESDA/IEEE Design Automation Conference (DAC)

    The world's premier EDA and semiconductor design conference and exhibition. DAC features over 60 sessions on design methodologies and EDA tool developments, keynotes, panels, plus the NEW User Track presentations. A diverse worldwide community representing more than 1,000 organizations attends each year, from system designers and architects, logic and circuit designers, validation engineers, CAD managers, senior managers and executives to researchers and academicians from leading universities.

  • 2020 57th ACM/ESDA/IEEE Design Automation Conference (DAC)

    The world's premier EDA and semiconductor design conference and exhibition. DAC features over 60 sessions on design methodologies and EDA tool developments, keynotes, panels, plus the NEW User Track presentations. A diverse worldwide community representing more than 1,000 organizations attends each year, from system designers and architects, logic and circuit designers, validation engineers, CAD managers, senior managers and executives to researchers and academicians from leading universities.

  • 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC)

    The world's premier EDA and semiconductor design conference and exhibition. DAC features over 60 sessions on design methodologies and EDA tool developments, keynotes, panels, plus the NEW User Track presentations. A diverse worldwide community representing more than 1,000 organizations attends each year, from system designers and architects, logic and circuit designers, validation engineers, CAD managers, senior managers and executives to researchers and academicians from leading universities.

  • 2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC)

    The world's premier EDA and semiconductor design conference and exhibition. DAC features over 60 sessions on design methodologies and EDA tool developments, keynotes, panels, plus the NEW User Track presentations. A diverse worldwide community representing more than 1,000 organizations attends each year, from system designers and architects, logic and circuit designers, validation engineers, CAD managers, senior managers and executives to researchers and academicians from leading universities.

  • 2016 53nd ACM/EDAC/IEEE Design Automation Conference (DAC)

    The world's premier EDA and semiconductor design conference and exhibition. DAC features over 60 sessions on design methodologies and EDA tool developments, keynotes, panels, plus the NEW User Track presentations. A diverse worldwide community representing more than 1,000 organizations attends each year, from system designers and architects, logic and circuit designers, validation engineers, CAD managers, senior managers and executives to researchers and academicians from leading universities.

  • 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC)

    The world's premier EDA and semiconductor design conference and exhibition. DAC features over 60 sessions on design methodologies and EDA tool developments, keynotes, panels, plus the NEW User Track presentations. A diverse worldwide community representing more than 1,000 organizations attends each year, from system designers and architects, logic and circuit designers, validation engineers, CAD managers, senior managers and executives to researchers and academicians from leading universities.

  • 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC)

    DAC Description for TMRF The world's premier EDA and semiconductor design conference and exhibition. DAC features over 60 sessions on design methodologies and EDA tool developments, keynotes, panels, plus the NEW User Track presentations. A diverse worldwide community representing more than 1,000 organizations attends each year, from system designers and architects, logic and circuit designers, validation engineers, CAD managers, senior managers and executives to researchers and academicians from leading

  • 2013 50th ACM/EDAC/IEEE Design Automation Conference (DAC)

    The world's premier EDA and semiconductor design conference and exhibition. DAC features over 60 session on design methodologies and EDA tool developments, keynotes, panels, plus User Track presentations. A diverse worldwide community representing more than 1,000 organization attends each year, from system designers and architects, logic and circuit designers, validation engineers, CAD managers, senior managers and executives to researchers and academicians from leading universities.

  • 2012 49th ACM/EDAC/IEEE Design Automation Conference (DAC)

    The Design Automation Conference (DAC) is the premier event for the design of electronic circuits and systems, and for EDA and silicon solutions. DAC features a wide array of technical presentations plus over 200 of the leading electronics design suppliers

  • 2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC)

    The Design Automation Conference is the world s leading technical conference and tradeshow on electronic design and design automation. DAC is where the IC Design and EDA ecosystem learns, networks, and does business.

  • 2010 47th ACM/EDAC/IEEE Design Automation Conference (DAC)

    The Design Automation Conference (DAC) is the premier event for the design of electronic circuits and systems, and for EDA and silicon solutions. DAC features a wide array of technical presentations plus over 200 of the leading electronics design suppliers.

  • 2009 46th ACM/EDAC/IEEE Design Automation Conference (DAC)

    DAC is the premier event for the electronic design community. DAC offers the industry s most prestigious technical conference in combination with the biggest exhibition, bringing together design, design automation and manufacturing market influencers.

  • 2008 45th ACM/EDAC/IEEE Design Automation Conference (DAC)

    The Design Automation Conference (DAC) is the premier event for the design of electronic circuits and systems, and for EDA and silicon solutions. DAC features a wide array of technical presentations plus over 250 of the leading electronics design suppliers.

  • 2007 44th ACM/IEEE Design Automation Conference (DAC)

    The Design Automation Conference (DAC) is the premier Electronic Design Automation (EDA) and silicon solution event. DAC features over 50 technical sessions covering the latest in design methodologies and EDA tool developments and an Exhibition and Demo Suite area with over 250 of the leading EDA, silicon and IP Providers.

  • 2006 43rd ACM/IEEE Design Automation Conference (DAC)

  • 2005 42nd ACM/IEEE Design Automation Conference (DAC)

  • 2004 41st ACM/IEEE Design Automation Conference (DAC)

  • 2003 40th ACM/IEEE Design Automation Conference (DAC)

  • 2002 39th ACM/IEEE Design Automation Conference (DAC)

  • 2001 38th ACM/IEEE Design Automation Conference (DAC)

  • 2000 37th ACM/IEEE Design Automation Conference (DAC)

  • 1999 36th ACM/IEEE Design Automation Conference (DAC)

  • 1998 35th ACM/IEEE Design Automation Conference (DAC)

  • 1997 34th ACM/IEEE Design Automation Conference (DAC)

  • 1996 33rd ACM/IEEE Design Automation Conference (DAC)


2019 IEEE 11th International Memory Workshop (IMW)

The IMW is a unique forum for specialists in all aspects of memory (nonvolatile & volatile)microelectronics and people with different backgrounds who wish to gain a better understandingof the field. The morning and afternoon technical sessions are organized in a manner thatprovides ample time for informal exchanges amongst presenters and attendees. The eveningpanel discussions will address hot topics in the memory and memory system field. Papers aresolicited in all aspects of semiconductor memory technology (Flash, DRAM, SRAM, PCRAM,RRAM, MRAM, embedded memory, and other NV memories).


2019 IEEE Frontiers in Education Conference (FIE)

The Frontiers in Education (FIE) Conference is a major international conference focusing on educational innovations and research in engineering and computing education. FIE 2019 continues a long tradition of disseminating results in engineering and computing education. It is an ideal forum for sharing ideas, learning about developments and interacting with colleagues in these fields.


More Conferences

Periodicals related to Programming

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.


Antennas and Wireless Propagation Letters, IEEE

IEEE Antennas and Wireless Propagation Letters (AWP Letters) will be devoted to the rapid electronic publication of short manuscripts in the technical areas of Antennas and Wireless Propagation.


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 ...


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 Programming

Back to Top

Xplore Articles related to Programming

Back to Top

RTL power optimisation: concepts, tools and design experiences [Tutorial]

Proceedings Design, Automation and Test in Europe Conference and Exhibition, 2004

None


Components: what if they gave a revolution and nobody came?

Computer, 2000

There have been three great revolutions in computing technology during the past 50 years: the stored-program computer, high-level languages and component-level programming. Although working programmers are well aware of this last revolution, it seems to have escaped the notice of most everyone else. The author feels that academic researchers are doing little or nothing that touches the subject and apart ...


ClusterGOP: A high-level parallel programming environment

Workshops on Mobile and Wireless Networking/High Performance Scientific, Engineering Computing/Network Design and Architecture/Optical Networks Control and Management/Ad Hoc and Sensor Networks/Compil, 2004

It has been agreed that the acceptance of parallel computing mainly depends on the quality of a high-level programming model, which should provide powerful abstractions in order to free the programmer from the burden of dealing with low-level issues. In this paper, we describe a high-level, graph-oriented programming model, called GOP, and a programming environment, called ClusterGOP, for building and ...


A multiparadigm language for developing agent-oriented applications

Proceedings Technology of Object-Oriented Languages. TOOLS 27 (Cat. No.98EX224), 1998

I/sup +/ is a multiparadigm language for object oriented declarative programming as well as parallel programming. If is an integration of three major programming paradigms: object oriented, logic and functional with salient features for modelling distributed applications, however, I/sup +/ has a number of limitations in developing multi agent applications as well as programming mobile agents. We introduce a dedicated ...


pluribus: a visual programming environment for education and research

[Proceedings] 1988 IEEE Workshop on Languages for Automation@m_Symbiotic and Intelligent Robotics, 1988

Pluribus, an interactive visual environment that extends the expressive power of recursive functional programming languages such as Lisp, is described. It uses a function-machine metaphor that views mathematical functions as machines that communicate through data-flow and control-flow connections. Machines are shown as icons. A structure consisting of several machines that function as a unit can be subsumed under a single ...


More Xplore Articles

Educational Resources on Programming

Back to Top

IEEE-USA E-Books

  • RTL power optimisation: concepts, tools and design experiences [Tutorial]

    None

  • Components: what if they gave a revolution and nobody came?

    There have been three great revolutions in computing technology during the past 50 years: the stored-program computer, high-level languages and component-level programming. Although working programmers are well aware of this last revolution, it seems to have escaped the notice of most everyone else. The author feels that academic researchers are doing little or nothing that touches the subject and apart from trade journals and magazines aimed at developers that publishers have all but ignored it. The component-level programming revolution has already happened in the academic community and in the authors opinion, nobody came. The author starts by giving a brief history of components, detailing the controls (tools that allow developers to create visually pleasing dialog boxes by drawing such devices as buttons), visual innovations and the data control of Visual Basic. The author moves on to current component technology. He explains ActiveX and other recent technological developments (like dynamic instantiation and universal standard). He finishes by looking into the future of component technology, explaining semipersistence and marketing flexibility and solutions to transmitting problems.

  • ClusterGOP: A high-level parallel programming environment

    It has been agreed that the acceptance of parallel computing mainly depends on the quality of a high-level programming model, which should provide powerful abstractions in order to free the programmer from the burden of dealing with low-level issues. In this paper, we describe a high-level, graph-oriented programming model, called GOP, and a programming environment, called ClusterGOP, for building and developing message-passing parallel programs. GOP support high-level design and programming of parallel and distributed systems by providing built-in support for a language-level construct and various operations on a high-level abstraction called the logical graph. With GOP, the configuration of the interacting processes of a parallel/distributed program can be represented as a user-specified logical graph that is mapped onto the physical network topology. The programming of inter-process communication and synchronization between local processors is supported by built-in primitives for graph-based operations. ClusterGOP is a programming environment built on top of the GOP model, providing a high-level programming abstraction through the ClusterGOP library for building parallel applications in clusters, It contains tools for development of GOP-based parallel programs with intelligent, visual support and a run-time system for deployment, execution, and management of the programs. ClusterGOP supports both SPMD and MPMD parallel computing paradigms. Also, with ClusterGOP, developing large parallel programs can be simplified with the predefined graph types and scalability support. The ClusterGOP system is portable as its implementation is based almost exclusively on calls to MPI, a portable messagepassing standard.

  • A multiparadigm language for developing agent-oriented applications

    I/sup +/ is a multiparadigm language for object oriented declarative programming as well as parallel programming. If is an integration of three major programming paradigms: object oriented, logic and functional with salient features for modelling distributed applications, however, I/sup +/ has a number of limitations in developing multi agent applications as well as programming mobile agents. We introduce a dedicated set of primitives necessary for communication among agents and an HTTP based infrastructure to serve mobile agents to I/sup +/. The resultant language is called I* and we argue that I* is a language suitable for the development of agent oriented applications.

  • pluribus: a visual programming environment for education and research

    Pluribus, an interactive visual environment that extends the expressive power of recursive functional programming languages such as Lisp, is described. It uses a function-machine metaphor that views mathematical functions as machines that communicate through data-flow and control-flow connections. Machines are shown as icons. A structure consisting of several machines that function as a unit can be subsumed under a single icon. Unless otherwise constrained by inhibitory connections, machines fire when their inputs are available. This default control logic naturally gives rise to ostensibly parallel operation. Thus, as well as greatly facilitation the teaching of programming and modeling, pluribus provides a powerful environment for designing parallel algorithms and for simulating complex real-time control systems with asynchronous components.<<ETX>>

  • Optimization Techniques for System Reliability with Redundancy&amp;#2014;A Review

    This paper is a state-of-art review of the literature related to optimal system reliability with redundancy. The literature is classified as follows. Optimal system reliability models with redundancy Series Parallel Series- parallel Parallel-series Standby Complex (nonseries, nonparallel) Optimization techniques for obtaining optimal system configuration Integer programming Dynamic programming Maximum principle Linear programming Geometric programming Sequential unconstrained minimization technique (SUMT) Modified sequential simplex pattern search Lagrange multipliers and Kuhn-Tucker conditions Generalized Lagrangian function Generalized reduced gradient (GRG) Heuristic approaches Parametric approaches Pseudo-Boolean programming Miscellaneous

  • Adaptive distributed execution of Java applications

    In the context of heterogeneous networks, like clusters of workstations, the design of programming and execution environments aims both to easily express parallelism and distribution of applications, at conception level, and to adapt automatically their execution to fluctuations that may appear in the evolution of applications or in resources availabilities. We present the ADAJ environment (adaptive distributed applications in Java), targeted towards Java applications, which addresses these aims, through conceptual tools offered by the programming environment and through a dynamic load balancing mechanism, integrated at the middleware level. At a conception level, the developer has the possibility of easily activating processing in a MIMD programming model, using library calls. At the execution level, the efficiency of execution in ADAJ exploits an observation mechanism, which allows to acquire information on processing behaviour in order to dynamically redistribute load, by object migrations.

  • Enhancement of the introductory computer science curriculum

    An emphasis on derivation, analysis, and correctness verification throughout the problem-solving and program-development processes is the main thrust of the project. Interactive web-based laboratories are the most obvious of the curricular materials developed to dare. They support sophomore level courses covering the traditional content of courses in data structures, algorithms and programming language concepts. In order to develop the hundreds of web pages necessary for the laboratories, the project team found it necessary to create an HTML compiler called HtX. In the same way as LaTeX can abstract the style properties of static documents, HtX abstracts both static and dynamic features of web documents, enabling rapid development, multi-authoring and consistent appearance of large web structures. We are now in a position to disseminate not only the course materials, but also the powerful tools that will enable educators everywhere to produce effective classroom presentations and laboratory materials, concentrating only on the content of the documents and leaving style and format considerations for automatic treatment.

  • EVA: a flexible programming method for evolving systems

    The authors' goal is to establish a flexible programming support for evolving systems that will enable one to modify programs using less labor, while maintaining good quality during service life. EVA (evolution mechanism for flexible agent) was developed to allow a flexible programming support system to be constructed based on their programming method for evolving systems. They consider that programming methods for evolving systems need to satisfy the following essential conditions. First, they need to make it easy to specify changes in a system in terms of new requirements. Second, they need to have a procedure for transmitting the new requirements to a program. Third, they need to be able to guarantee that the resultant program will meet the new requirements. Finally, because of the repetitive nature of much evolving systems work, they need to provide for the reuse of similar modifications during programming. In order to overcome limitations in program modification techniques which have only considered programming products, programming processes have been introduced into the method. To achieve their goal, they have formulated programming products and programming processes using such formal techniques as functional programming, type theory, modules, parameterized programming and natural deduction, and have constructed a mechanism of reusing these formal programming processes. The paper explains a case study which shows how to develop an evolving system using EVA and it discusses how one can use EVA's mechanism effectively.

  • An object-oriented paradigm for the design and implementation of robot planning and programming systems

    Traditional software design methodologies have been shown to have drawbacks in designing and implementing software systems for robotics. A novel dual- hierarchical object-oriented design methodology is presented, which is well suited to problems of this type. A practical example of the application of this methodology is presented, utilizing CLOS as the implementation vehicle. The methodology developed is shown to facilitate the programming and planning of complex robot tasks, and the provision of generic recovery procedures for exception handling.<<ETX>>



Standards related to Programming

Back to Top

IEEE Standard for Automatic Test Markup Language (ATML) for Exchanging Automatic Test Information via eXtensible Markup Language (XML): Exchanging Test Configuration Information

The scope of this trial-use standard is the definition of an exchange format, using eXtensible Markup Language (XML), for identifying all of the hardware, software, and documentation that may be used to test and diagnose a UUT on an automatic test system (ATS).


IEEE Trial-Use Standard for Automatic Test Markup Language (ATML) for Exchanging Automatic Test Equipment and Test Information via XML: Exchanging Test Descriptions

The scope of this trial-use standard is the definition of an exchange format, utilizing eXtensible Markup Language (XML), for exchanging the test description information defining test performance, test conditions, diagnostic requirements, and support equipment to locate, align, and verify the proper operation of a UUT. This is in support of the development of test program sets (TPSs) that will be ...