Automated prototyping tool-kit (APT)

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

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

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

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 (2)

• BPL: A set-based language for distributed system prototyping
• Title not available (Why is that?)

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)