Automated prototyping tool-kit (APT)

DOI10.1016/S0020-0255(01)00174-8MaRDI QIDQ1394875zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Publication:4730818
• 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

Cited in

(2)

• scientific article; zbMATH DE number 4116033 (Why is no real title available?)
• BPL: A set-based language for distributed system prototyping

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)