Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by David L. Coleman
Formalized Structured Analysis Specifications
Related publications
On the Algebra of Structured Specifications
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Generation of a Function-Component-Parameter Multi-Domain Matrix From Structured Textual Function Specifications
Research in Engineering Design - Theory, Applications, and Concurrent Engineering
Industrial
Mechanical Engineering
Civil
Structural Engineering
Manufacturing Engineering
Architecture
Stock Trading System Based on Formalized Technical Analysis and Ranking Technique
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Consistency Analysis of Reconfigurable Dataflow Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Non-Formalized Methodological Approaches to the Small Business Strategic Management Analysis
Economy in the industry
Semantically Configurable Analysis of Scenario-Based Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Partial Derivative Automata Formalized in Coq
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Physicochemical Properties of Formalized Proteins
Okayama Igakkai Zasshi (Journal of Okayama Medical Association)
Structured Analysis of Arbitrary Island Grids
