Searching for "Support Tools and Environments." – sorted by Relevance.
35 documents found, showing 1 through 10.
Next 10 →
-
Designing a Provably Correct Robot Control System using a `Lean' Formal Method
- … systems together with its supporting tool environment are described. The method consists of four stages: 1…
- Cited by 1 (1 self) – Add To MetaCart
-
Software Design for Parallel Systems
- … and coding), concurrent programming languages, and systems support, tools and environments for such languages…
- Cited by 1 (1 self) – Add To MetaCart
-
Application-Driven Development of an Integrated Tool Environment for Distributed Memory Parallel
- … and the development of new parallel algorithms. The integrated tool environment supports both low-level and high…
- Cited by 6 (4 self) – Add To MetaCart
-
A Technique for Testing Highly Reliable Real-Time Software
- …-time environments. Our initial tool, the test range oracle tool (TROT), supports the creation of simple test oracles…
- Add To MetaCart
-
An Agent-Based Prototype for Freight Trains Traffic Management
- … implementation of the prototype can be used as an effective decision support tool. The environment used…
- Cited by 5 (4 self) – Add To MetaCart
-
The Design Process in MIKE
- …. Furthermore, the documentation of the design process and rationale will be supported by the tool environment…
- Cited by 11 (6 self) – Add To MetaCart
-
Maintenance and Analysis of Visual Programs – An Industrial Case ABSTRACT
- … integrated with forward engineering activities, providing full maintenance and round-trip support. The tool…
- Add To MetaCart
-
A Systematic Software Reuse Program Based On An Architecture-Centric Domain Analysis
- … processes, and . supporting tools and environments. 1 An asset in this paper refers to a reusable software…
- Add To MetaCart
-
Formal Specification, Rapid Prototyping and Program Calculation --- an Industrial Experiment using the CAMILA/SETS Approach UNU/IIST --- Seminar n.
- … be supported by tools and environments. ffl Flexibility --- formal method tools should be easily portable…
- Add To MetaCart
-
Seven Steps from an Idea to Industrial Adoption
- … should be appropriately supported by the tool environment. An integrated environment should even to some…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
