Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Search Results

Display Settings
Results per page: 10
Sort By: Relevance
Filter
  • 1-10 of  23 results for ""Requirements/Specifications""

Your Filters

Subject : [info.info-pl]computer science [cs]/programming languages [cs.pl]
Reset filters
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Formally Reasoning on a Reconfigurable Component-Based System --- A Case Study for the Industrial World

Subjects: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications; ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification; ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software ArchitecturesNanchang; China

  • Source: The 10th International Symposium on Formal Aspects of Component Software ; https://inria.hal.science/hal-00916115 ; The 10th International Symposium on Formal Aspects of Component Software, Oct 2013,

Record details

Read More Add to Saved list
×
Conference

Formally Reasoning on a Reconfigurable Component-Based System --- A Case Study for the Industrial World

Subjects: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications; ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification; ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software ArchitecturesNanchang; China

  • Source: The 10th International Symposium on Formal Aspects of Component Software ; https://hal.inria.fr/hal-00916115 ; The 10th International Symposium on Formal Aspects of Component Software, Oct 2013,

Record details

Read More Add to Saved list
×
Conference

Fractal à la Coq

Subjects: ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS; ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs; ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming LanguagesRennes; France

  • Source: Conférence en IngénieriE du Logiciel ; https://inria.hal.science/hal-00725291 ; Conférence en IngénieriE du Logiciel, Jun 2012, Rennes, France

Record details

Read More Add to Saved list
×
Conference

Fractal à la Coq

Subjects: ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS; ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs; ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming LanguagesRennes; France

  • Source: Conférence en IngénieriE du Logiciel ; https://hal.inria.fr/hal-00725291 ; Conférence en IngénieriE du Logiciel, Jun 2012, Rennes, France

Record details

Read More Add to Saved list
×
Conference

Liability in Software Engineering Overview of the LISE Approach and Illustration on a Case Study

Subjects: Liability; Contract; Formal MethodsCape Town; South AfricaCape Town, South Africa

  • Source: ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010) ; https://inria.hal.science/inria-00472287 ; ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010), ACM/IEEE, May

Record details

Read More Add to Saved list
×
Conference

Liability in Software Engineering Overview of the LISE Approach and Illustration on a Case Study

Subjects: Liability; Contract; Formal MethodsCape Town; South AfricaCape Town, South Africa

  • Source: ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010) ; https://inria.hal.science/inria-00472287 ; ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010), ACM/IEEE, May

Record details

Read More Add to Saved list
×
Conference

Liability in Software Engineering Overview of the LISE Approach and Illustration on a Case Study

Subjects: Liability; Contract; Formal MethodsCape Town; South AfricaCape Town, South Africa

  • Source: ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010) ; https://inria.hal.science/inria-00472287 ; ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010), ACM/IEEE, May

Record details

Read More Add to Saved list
×
Conference

Liability in Software Engineering Overview of the LISE Approach and Illustration on a Case Study

Subjects: Liability; Contract; Formal MethodsCape Town; South AfricaCape Town, South Africa

  • Source: ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010) ; https://inria.hal.science/inria-00472287 ; ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010), ACM/IEEE, May

Record details

Read More Add to Saved list
×
Conference

Liability in Software Engineering Overview of the LISE Approach and Illustration on a Case Study

Subjects: Liability; Contract; Formal MethodsCape Town; South AfricaCape Town, South Africa

  • Source: ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010) ; https://inria.hal.science/inria-00472287 ; ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010), ACM/IEEE, May

Record details

Read More Add to Saved list
×
Conference

Liability in Software Engineering Overview of the LISE Approach and Illustration on a Case Study

Subjects: Liability; Contract; Formal MethodsCape Town; South AfricaCape Town, South Africa

  • Source: ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010) ; https://inria.hal.science/inria-00472287 ; ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010), ACM/IEEE, May

Record details

Read More Add to Saved list
×
  • 1-10 of  23 results for ""Requirements/Specifications""