Publication | Closed Access
The Symbolics Genera Programming Environment
32
Citations
9
References
1987
Year
EngineeringSoftware EngineeringAdvanced DesignSoftware AnalysisFormal VerificationSocial SciencesPrototype ImplementationAutomatic ProgrammingLisp-based SystemDesignComputer EngineeringSystem PrototypingComputer ScienceIntegrated Development ToolsSoftware DesignIndustrial DesignKnowledge-based EngineeringAutomated ReasoningProgram AnalysisFormal MethodsProgram SynthesisTechnologyOpen ArchitectureSymbolic ExecutionSystem SoftwareVirtual Prototyping
This Lisp-based system helps designers get from prototype to product faster. The key is an open architecture and highly integrated development tools.
| Year | Citations | |
|---|---|---|
Page 1
Page 1