Perspectives of System Informatics

Analysis of data related to software development helps to increase quality, control and predictability of software development processes and products. However, collecting such data is a complex task. A non-invasive collection of software metrics is one of the most promising approaches to solve the task. In this paper we present an approach which consists of four parts: collect the data, store all collected data, unify the stored data and analyze the data to provide insights to the user about software product or process. We employ the approach to the development of an architecture for non-invasive software measurement system and explain its advantages and limitations.

[1]  Klaus Weihrauch,et al.  Computable Analysis , 2005, CiE.

[2]  Georgios Paliouras,et al.  Ontology Population and Enrichment: State of the Art , 2011, Knowledge-Driven Multimedia Information Extraction and Ontology Evolution.

[3]  Hwee Tou Ng,et al.  A Machine Learning Approach to Coreference Resolution of Noun Phrases , 2001, CL.

[4]  Maarten Sierhuis,et al.  Brahms: a multi-agent modelling environment for simulating work processes and practices , 2007, Int. J. Simul. Process. Model..

[5]  Natalya Olegovna Garanina,et al.  Context-dependent Lexical and Syntactic Disambiguation in Ontology Population , 2016, CS&P.

[6]  Sanda M. Harabagiu,et al.  RESOLUTION , 1977, Monatsschrift für Kriminologie und Strafrechtsreform.

[7]  Carl Pollard,et al.  A Centering Approach to Pronouns , 1987, ACL.

[8]  Edith Bolling.  Anaphora Resolution , 2006 .

[9]  Elaine Rich,et al.  An Architecture for Anaphora Resolution , 1988, ANLP.

[10]  Andrej A. Kibrik,et al.  Anaphora in Russian Narrative Prose , 1996 .

[11]  Daniel da Silva de Paiva.  Multi-agent Systems for Natural Language Processing , 2007 .

[12]  Clare Dixon,et al.  Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study , 2016, IEEE Transactions on Human-Machine Systems.

[13]  Dieter Spreen,et al.  Effective Inseparability in a Topological Setting , 1996, Ann. Pure Appl. Log..

[14]  Dieter Spreen,et al.  On r.e. inseparability of CPO index sets , 1983, Logic and Machines.

[15]  Clare Dixon,et al.  Formal Verification of an Autonomous Personal Robotic Assistant , 2014, AAAI Spring Symposia.

[16]  R. Soare.  Recursively enumerable sets and degrees , 1987 .

[17]  P. Elango.  Coreference Resolution : A Survey , 2006 .

[18]  Philippe Cudré-Mauroux,et al.  SANAPHOR: Ontology-Based Coreference Resolution , 2015, SEMWEB.

[19]  Jaime G. Carbonell,et al.  Anaphora Resolution: A Multi-Strategy Approach , 1988, COLING.

[20]  Joseph R. Shoenfield,et al.  Degrees of unsolvability , 1959, North-Holland mathematics studies.

[21]  Dieter Spreen,et al.  On effective topological spaces , 1998, Journal of Symbolic Logic.

[22]  Jerry R. Hobbs.  Resolving pronoun references , 1986 .

[23]  Nikolai Tillmann,et al.  Pex-White Box Test Generation for .NET , 2008, TAP.

[24]  Mostafa Aref.  A multi-agent system for natural language understanding , 2003, IEMC '03 Proceedings. Managing Technologically Driven Organizations: The Human Side of Innovation and Change (IEEE Cat. No.03CH37502).

[25]  Clare Dixon,et al.  Verifying Brahms Human-Robot Teamwork Models , 2012, JELIA.

[26]  Natalya Olegovna Garanina,et al.  Distributed Termination Detection by Counting Agent , 2014, CS&P.

[27]  R. Mitkov.  ANAPHORA RESOLUTION: THE STATE OF THE ART , 2007 .

[28]  Dieter Spreen.  On Some Decision Problems in Programming , 1995, Inf. Comput..

[29]  Giovanni Guida,et al.  A distributed multi-agent architecture for natural language processing , 1988, COLING.

[30]  Dawson R. Engler,et al.  EXE: automatically generating inputs of death , 2006, CCS '06.

[31]  Scott Weinstein,et al.  Centering: A Framework for Modeling the Local Coherence of Discourse , 1995, CL.

[32]  Natalya Olegovna Garanina,et al.  A Multi-agent Text Analysis Based on Ontology of Subject Domain , 2014, Ershov Memorial Conference.