Keywords: مشخصات نرم افزاری; Software specification; Reconfigurable systems; Hybrid logic;
مقالات ISI مشخصات نرم افزاری (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Vibes: A visual language for specifying behavioral requirements of algorithms
Keywords: مشخصات نرم افزاری; State-transition diagrams; Formal methods; Software specification; Visual formalisms
Integrating top-down and scenario-based methods for constructing software specifications
Keywords: مشخصات نرم افزاری; Software specification; Software design; Data flow; Structured method; Scenario-based method
Emlan: A Language for model checking of embedded systems software
Keywords: مشخصات نرم افزاری; Verification; Modelling; Embedded systems; Software specification;
Real-Time motion control software for a micromanipulator
Keywords: مشخصات نرم افزاری; Real time; computer control; software specification;
Realizability and verification of MSC graphs
Keywords: مشخصات نرم افزاری; Formal verification; Software specification; Message sequence charts;
Methods of checking general safety criteria in UML statechart specifications
Keywords: مشخصات نرم افزاری; System safety; Software specification; Safety criteria; UML statecharts; OCL; Graph transformation; Reachability analysis;
Executable JVM model for analytical reasoning: A study
Keywords: مشخصات نرم افزاری; JVM model; Bytecode verification; Simulator; Virtual machine; Formal methods; Program verification; Software specification;
The semantics of augmented constraint diagrams
Keywords: مشخصات نرم افزاری; Visual formalisms; Software specification; Formal methods; Constraint diagrams;
A translation of TPALp into a class of timed-probabilistic Petri nets
Keywords: مشخصات نرم افزاری; Formal methods; Software specification; Concurrent systems; Process algebra; Timed Petri nets;