Abstract:The mission of UNU/IIST is to assist developing countries in the application and development of software technology. UNU/IIST contributes through its programmatic activities: 1. advanced development projects in which software techniques supported by tools are applied, 2. research projects in which new techniques for software development are investigated, 3. curriculum development projects in which courses of software technology for universities in developing countries are developed, 4. courses which typically teach advanced software development techniques, 5. events in which conferences and workshops are organised or supported by UNU/IIST, and 6. dissemination, in which UNU/IIST regularly distributes to developing countries information on international progress of software technology. Fellows, who are young scientists and engineers from developing countries, are invited to actively participate in all these projects. By doing the projects they are trained. At present, the technical focus of UNU/IIST is on formal methods for software development. UNU/IIST is an internationally recognised center in the area of formal methods. However, no software technique is universally applicable. We are prepared to choose complementary techniques for our projects, if necessary. UNU/IIST produces a report series. Reports are either Research R , Technical T , Compendia C or Administrative A. They are records of UNU/IIST activities and research and development achievements. Many of the reports are also published in conference proceedings and journals. Abstract There is an increasing awareness of the need for the behavioural models suited for specifying and reasoning about both programs and digital devices. This report presents a speciication language based on Interval Temporal Logic for the mixed hardware/software systems. The language is equipped with a novel parallel operator in support of integration of systems evolved at various time rate. Its mixed interval structure enables us to model both discrete time and continuous time systems. The framework provides a unifying means for presenting the main features of event-based hardware description languages and state-based programming languages. The paper gives a number of tests, known as healthiness conditions, which can be applied to speciications and intermediate designs to maintain their feasibility during the development process. We also provide an observation-oriented semantics to the core of the VERILOG Hardware Description Language, and formalise the temporal language TEMPURA in this paper.tivity focuses on the techniques for design of the mixed software/hardware systems with high reliability and low cost. His

A logical framework to model software development by multiple agents following a common specification

A process algebraic framework for multi-agent dynamic epistemic systems

A methodology for high-level software specification construction.

A logical framework with a graph meta-language

Specifications: The missing link to making the development of LLM systems an engineering discipline

A Logic of Agent Organizations

Generating Software for Well-Understood Domains

A Generative Approach to the Development of Autonomous Robot Software

Specifying Logic Programs in Controlled Natural Language

Modeling Software Development Methodologies: A Logic Based Approach

Agents As Reasoners, Observers or Believers

Experimenting with Multi-Agent Software Development: Towards a Unified Platform

Abstraction of Nondeterministic Situation Calculus Action Theories -- Extended Version

Think-on-Process: Dynamic Process Generation for Collaborative Development of Multi-Agent System

A Logical Framework for Knowledge Sharing in Multi-agent Systems

Formally Specifying the High-Level Behavior of LLM-Based Agents

A Refinement Framework for Autonomous Agents.

A Behavioral Model For Co-Design

Automatic Robotic Development through Collaborative Framework by Large Language Models

Model-based generation of natural language specifications

AgentScope: A Flexible yet Robust Multi-Agent Platform