Jump to main content

yr 〜
yr

Search results 17

AUTOMATED SOFTWARE DEVELOPMENT USING THE HALDEN PROVER (HWR ; HWR-696)

AUTOMATED SOFTWARE DEVELOPMENT USING THE HALDEN PROVER (HWR ; HWR-696)
Paper図書
Sivertsen, T.2002.
Other Libraries in Japan
  • Author HeadingSivertsen, T.

ISO 9000 QUALITY SYSTEMS FOR SOFTWARE DEVELOPMENT (HWR ; HWR-629)

ISO 9000 QUALITY SYSTEMS FOR SOFTWARE DEVELOPMENT (HWR ; HWR-629)
Paper図書
Sivertsen, T.2000.
Other Libraries in Japan
  • Author HeadingSivertsen, T.

HALDEN REACTOR PROJECT WORKSHOP ON IMPROVED SYSTEM DEVELOPMENT USING CASE-TOOLS BASED ON FORMAL METHODS (HWR ; HWR-568)

HALDEN REACTOR PROJECT WORKSHOP ON IMPROVED SYSTEM DEVELOPMENT USING CASE-TOOLS BASED ON FORMAL METHODS (HWR ; HWR-568)
Paper図書
Gran, B.A./Sivertsen, T.1999.
Other Libraries in Japan
  • Author HeadingGran, B.A. Sivertsen, T.

EVALUATION OF REFINEMENT CALCULI (HWR ; HWR-537)

EVALUATION OF REFINEMENT CALCULI (HWR ; HWR-537)
Paper図書
Sivertsen, T.1999.
Other Libraries in Japan
  • Author HeadingSivertsen, T.

CONTINUOUS IMPROVEMENT OF SOFTWARE QUALITY (HWR ; HWR-584)

CONTINUOUS IMPROVEMENT OF SOFTWARE QUALITY (HWR ; HWR-584)
Paper図書
Sivertsen, T.1999.
Other Libraries in Japan
  • Author HeadingSivertsen, T.

FORMAL DEVELOPMENT OF THE HRP PROVER - PART 2: THEOREM PROVING, TRANSFORMATION, AND CODE GENERATION (HWR ; HWR-524)

FORMAL DEVELOPMENT OF THE HRP PROVER - PART 2: THEOREM PROVING, TRANSFORMATION, AND CODE GENERATION (HWR ; HWR-524)
Paper図書
Sivertsen, T.1998.
Other Libraries in Japan
  • Author HeadingSivertsen, T.

FORMAL DEVELOPMENT OF THE HRP PROVER PART 1: SYNTAX AND SEMANTICS (HWR ; HWR-455)

FORMAL DEVELOPMENT OF THE HRP PROVER PART 1: SYNTAX AND SEMANTICS (HWR ; HWR-455)
Paper図書
Sivertsen, T.1996.
Other Libraries in Japan
  • Author HeadingSivertsen, T.

LESSON LEARNED REPORT ON SOFTWARE DEPENDABILITY, PART 1: SURVEY & CONCLUSIONS & RECOMMENDATIONS (HWR ; HWR-374)

LESSON LEARNED REPORT ON SOFTWARE DEPENDABILITY, PART 1: SURVEY & CONCLUSIONS & RECOMMENDATIONS (HWR ; HWR-374)
Paper図書
Dahll, G./Sivertsen, T.1994.
Other Libraries in Japan
  • Author HeadingDahll, G. Sivertsen, T.

LESSON LEARNED REPORT ON SOFTWARE DEPENDABILITY, PART 2: TECHNICAL BASIS (HWR ; HWR-375)

LESSON LEARNED REPORT ON SOFTWARE DEPENDABILITY, PART 2: TECHNICAL BASIS (HWR ; HWR-375)
Paper図書
Dahll, G./Sivertsen, T.1994.
Other Libraries in Japan
  • Author HeadingDahll, G. Sivertsen, T.

ALGEBRAIC SPECIFICATION USED IN FORMAL SOFTWARE DEVELOPMENT - PART 2: DESIGN AND IMPLEMENTATION (HWR ; HWR-363)

ALGEBRAIC SPECIFICATION USED IN FORMAL SOFTWARE DEVELOPMENT - PART 2: DESIGN AND IMPLEMENTATION (HWR ; HWR-363)
Paper図書
Sivertsen, T.1993.
Other Libraries in Japan
  • Author HeadingSivertsen, T.

SAP (SAFETY ASSESSMENT OF PROGRAMS) PROJECT FINAL REPORT ON PHASE 2 (HWR ; HWR-364)

SAP (SAFETY ASSESSMENT OF PROGRAMS) PROJECT FINAL REPORT ON PHASE 2 (HWR ; HWR-364)
Paper図書
Groven, A.K./Sivertsen, T.1993.
Other Libraries in Japan
  • Author HeadingGroven, A.K. Sivertsen, T.

ALGEBRAIC SPECIFICATION USED IN FORMAL SOFTWARE DEVELOPMENT - PART 1: SPECIFICATION (HWR ; HWR-331)

ALGEBRAIC SPECIFICATION USED IN FORMAL SOFTWARE DEVELOPMENT - PART 1: SPECIFICATION (HWR ; HWR-331)
Paper図書
Sivertsen, T.1992.
Other Libraries in Japan
  • Author HeadingSivertsen, T.

ALGEBRAIC SPECFICATION USED IN QUALITATIVE PHYSICS (HWR ; HWR-294)

ALGEBRAIC SPECFICATION USED IN QUALITATIVE PHYSICS (HWR ; HWR-294)
Paper図書
Sivertsen, T.1992.
Other Libraries in Japan
  • Author HeadingSivertsen, T.

METHODS AND TOOLS FOR FORMAL SOFTWARE DEVELOPMENT (HWR ; HWR-320)

METHODS AND TOOLS FOR FORMAL SOFTWARE DEVELOPMENT (HWR ; HWR-320)
Paper図書
Sivertsen, T.1992.
Other Libraries in Japan
  • Author HeadingSivertsen, T.

QUALITATIVE MODELLING AND DEPENDABILITY OF KNOWLEDGE BASED SYSTEMS (HPR ; HPR-341)

QUALITATIVE MODELLING AND DEPENDABILITY OF KNOWLEDGE BASED SYSTEMS (HPR ; HPR-341)
Paper図書
Bologna, S./Sivertsen, T.1992.
Other Libraries in Japan
  • Author HeadingBologna, S. Sivertsen, T.

ALGEBRAIC SPECIFICATION AND THEOREM PROVING USED IN FORMAL VERIFICATION OF DISCRETE-EVENT CONTROL SYSTEMS (HWR ; HWR-260)

ALGEBRAIC SPECIFICATION AND THEOREM PROVING USED IN FORMAL VERIFICATION OF DISCRETE-EVENT CONTROL SYSTEMS (HWR ; HWR-260)
Paper図書
Sivertsen, T./Vaelisuo, H.1989.
Other Libraries in Japan
  • Author HeadingSivertsen, T. Vaelisuo, H.

AUTOMATED THEOREM PROVING FOR ALGEBRAIC SPECIFICATIONS - TOOL, THEORY AND APPLICATIONS (HWR ; HWR-276)

AUTOMATED THEOREM PROVING FOR ALGEBRAIC SPECIFICATIONS - TOOL, THEORY AND APPLICATIONS (HWR ; HWR-276)
Paper図書
Sivertsen, T.1990.
Other Libraries in Japan
  • Author HeadingSivertsen, T.

Reached to the end of result.

RSS