A Rigorous Definition of Cyber-Physical Systems

CONTENTS 3.

[1]  Matthias Felleisen,et al.  Validating the unit correctness of spreadsheet programs , 2004, Proceedings. 26th International Conference on Software Engineering.

[2]  Marius Mikalsen,et al.  Context: Representation and Reasoning. Representing and Reasoning about Context in a Mobile Environment , 2005, Rev. d'Intelligence Artif..

[3]  Dominique Méry,et al.  On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems - Version to Read , 2014, ISoLA.

[4]  Shane Markstrum,et al.  JavaCOP: Declarative pluggable types for java , 2010, TOPL.

[5]  Jukka Riekki,et al.  Context Representation and Reasoning in Pervasive Computing: a Review , 2009 .

[6]  Jan Jürjens,et al.  Extracting Domain Ontologies from Domain Specific APIs , 2008, 2008 12th European Conference on Software Maintenance and Reengineering.

[7]  Grant W. Petty,et al.  Automated computation and consistency checking of physical dimensions and units in scientific programs , 2001, Softw. Pract. Exp..

[8]  Andrian Marcus,et al.  Static techniques for concept location in object-oriented code , 2005, 13th International Workshop on Program Comprehension (IWPC'05).

[9]  David W. Binkley,et al.  Improving identifier informativeness using part of speech information , 2011, MSR '11.

[10]  Denys Poshyvanyk,et al.  Combining Formal Concept Analysis with Information Retrieval for Concept Location in Source Code , 2007, 15th IEEE International Conference on Program Comprehension (ICPC '07).

[11]  Michael Jackson,et al.  A Reference Model for Requirements and Specifications , 2000, IEEE Softw..

[12]  John Mylopoulos,et al.  A Requirements-Driven Development Methodology , 2001, CAiSE.

[13]  Florian Deißenböck,et al.  From Reality to Programs and (Not Quite) Back Again , 2007, 15th IEEE International Conference on Program Comprehension (ICPC '07).

[14]  David Walker,et al.  Dynamic Typing with Dependent Types , 2004, IFIP TCS.

[15]  Michael D. Ernst,et al.  Practical pluggable types for java , 2008, ISSTA '08.

[16]  Michael Jackson,et al.  Domain descriptions , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[17]  Steven Drager,et al.  Cyber-physical specification mismatch identification with dynamic analysis , 2015, ICCPS.

[18]  Kevin J. Sullivan,et al.  Real-World Types and Their Application , 2015, SAFECOMP.

[19]  Dmitry A. Kazakov,et al.  A Survey of Physical Unit Handling Techniques in Ada , 2003, Ada-Europe.

[20]  André van Delft.  A Java Extension with Support for Dimensions , 1999, Softw. Pract. Exp..

[21]  Yang Li,et al.  Generating linkage between source code and evolvable domain knowledge for the ease of software evolution , 2000, Proceedings International Symposium on Principles of Software Evolution.

[22]  James McKinna,et al.  Why dependent types matter , 2006, POPL '06.

[23]  Francesca Saglietti,et al.  Supporting component and architectural re-usage by detection and tolerance of integration faults , 2005, Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05).

[24]  Steven P. Miller,et al.  Extending the four-variable model to bridge the system-software gap , 2001, 20th DASC. 20th Digital Avionics Systems Conference (Cat. No.01CH37219).

[25]  David B. Skillicorn,et al.  Automated Concept Location Using Independent Component Analysis , 2008, 2008 15th Working Conference on Reverse Engineering.

[26]  Helen M. Edwards,et al.  Problem frames: analyzing and structuring software development problems , 2002, Softw. Test. Verification Reliab..

[27]  Grigore Rosu,et al.  Rule-Based Analysis of Dimensional Safety , 2003, RTA.

[28]  Eric Van Wyk,et al.  Adding Dimension Analysis to Java as a Composable Language Extension , 2007, GTTSE.

[29]  Emily Hill,et al.  Automatically capturing source code context of NL-queries for software maintenance and reuse , 2009, 2009 IEEE 31st International Conference on Software Engineering.

[30]  Tim Menzies,et al.  On the use of relevance feedback in IR-based concept location , 2009, 2009 IEEE International Conference on Software Maintenance.

[31]  David Lorge Parnas,et al.  Functional Documents for Computer Systems , 1995, Sci. Comput. Program..

[32]  Ana Milanova,et al.  Inference and checking of context-sensitive pluggable types , 2012, SIGSOFT FSE.

[33]  Bradley R. Schmerl,et al.  View Consistency in Architectures for Cyber-Physical Systems , 2011, 2011 IEEE/ACM Second International Conference on Cyber-Physical Systems.

[34]  Edwin Brady,et al.  IDRIS ---: systems programming meets full dependent types , 2011, PLPV '11.

[35]  David Raymond Christiansen,et al.  Dependent type providers , 2013, WGP '13.

[36]  Paolo Tonella,et al.  Towards the Extraction of Domain Concepts from the Identifiers , 2011, 2011 18th Working Conference on Reverse Engineering.

[37]  Pamela Zave,et al.  Deriving Specifications from Requirements: an Example , 1995, 1995 17th International Conference on Software Engineering.

[38]  Sudheendra Hangal,et al.  Automatic dimension inference and checking for object-oriented programs , 2009, 2009 IEEE 31st International Conference on Software Engineering.

[39]  Zhendong Su,et al.  Osprey: a practical type system for validating dimensional unit correctness of C programs , 2006, ICSE.

[40]  Peter Dybjer,et al.  Dependent Types at Work , 2009, LerNet ALFA Summer School.

[41]  Maria Ruiz-Casado,et al.  Automatic Extraction of Semantic Relationships for WordNet by Means of Pattern Learning from Wikipedia , 2005, NLDB.

[42]  Norman Wilde,et al.  The role of concepts in program comprehension , 2002, Proceedings 10th International Workshop on Program Comprehension.

[43]  Paolo Tonella,et al.  Natural Language Parsing of Program Element Names for Concept Extraction , 2010, 2010 IEEE 18th International Conference on Program Comprehension.