Automated prototyping tool-kit (APT)

DOI10.1016/S0020-0255(01)00174-8zbMATH Open1021.68746OpenAlexW2083940116MaRDI QIDQ1394875FDOQ1394875

N. Nada, Luqi, Man-tak Shing, Valdis Berzins

Publication date: 25 June 2003

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0020-0255(01)00174-8

zbMATH Keywords

APTFormal methodsReal-time systemsComponentsEvolutionArchitectureAutomated prototypingCommand and controlPSDLReuse

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Theory of software (68N99)

Cites Work

• Title not available (Why is that?)

Cited In (1)

• BPL: A set-based language for distributed system prototyping

   Recommendations

• Title not available (Why is that?) 👍 👎
• Visual temporal logic as a rapid prototyping tool 👍 👎
• Program synthesis from formal requirements specifications using APTS 👍 👎
• How rapid is rapid prototyping? Analysis of ESPADON programme results 👍 👎
• A rapid prototyping environment for wireless communication embedded systems 👍 👎

This page was built for publication: Automated prototyping tool-kit (APT)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1394875)