Aditya K. Ghose (Selection)

Aditya Ghose

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

103		Aneesh Krishna, Sergiy A. Vilkomir, Aditya K. Ghose: Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models. Information & Software Technology 51(2): 478-496 (2009)
54		Sergiy A. Vilkomir, Jonathan P. Bowen, Aditya K. Ghose: Formalization and assessment of regulatory requirements for safety-critical software. ISSE 2(3-4): 165-178 (2006)
44		Aneesh Krishna, Aditya K. Ghose, Sergiy A. Vilkomir: Loosely-coupled Consistency between Agent-oriented Conceptual Models and Z Specifications. SEKE 2005: 455-460
40		Sergiy A. Vilkomir, Aditya K. Ghose, Aneesh Krishna: Combining Agent-Oriented Conceptual Modelling with Formal Methods. Australian Software Engineering Conference 2004: 147-157
37		Aneesh Krishna, Sergiy A. Vilkomir, Aditya K. Ghose: A Case Study of Combining I* Framework and the Z Notation. ICEIS (3) 2004: 192-200
35		Aneesh Krishna, Aditya K. Ghose, Sergiy A. Vilkomir: Co-Evolution of Complementary Formal and Informal Requirements. IWPSE 2004: 159-164
33		Sergiy A. Vilkomir, Aditya K. Ghose: Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements. PROFES 2004: 523-537

Selection of 7 from 147 records - Aditya K. Ghose has 106 coauthors

Last update 2012-09-10 CET by the DBLP Team — Content released under the ODC-BY 1.0 license — See also our legal information page