dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Aditya K. Ghose (Selection)

Aditya Ghose

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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


103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAneesh 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)
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergiy 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)
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAneesh Krishna, Aditya K. Ghose, Sergiy A. Vilkomir: Loosely-coupled Consistency between Agent-oriented Conceptual Models and Z Specifications. SEKE 2005: 455-460
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergiy A. Vilkomir, Aditya K. Ghose, Aneesh Krishna: Combining Agent-Oriented Conceptual Modelling with Formal Methods. Australian Software Engineering Conference 2004: 147-157
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAneesh Krishna, Sergiy A. Vilkomir, Aditya K. Ghose: A Case Study of Combining I* Framework and the Z Notation. ICEIS (3) 2004: 192-200
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAneesh Krishna, Aditya K. Ghose, Sergiy A. Vilkomir: Co-Evolution of Complementary Formal and Informal Requirements. IWPSE 2004: 159-164
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergiy 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 TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page