Computing and Information Systems - Research Publications

Permanent URI for this collection

http://hdl.handle.net/11343/350

Filters

2005 6
Reset filters

Settings
Statistics
Citations
End date: 2005 × Start date: 2005 × Type: Conference Paper × Subject: Computer Software ×

Search Results

Now showing 1 - 6 of 6
  • Item
    Thumbnail Image
    Broadening vector space schemes for improving the quality of information retrieval
    Ramamohanarao, K ; Park, LAF ; Zhang, Y ; Tanaka, K ; Yu, JX ; Wang, S ; Li, M (SPRINGER-VERLAG BERLIN, 2005)
  • Item
    Thumbnail Image
    Abstract interpretation for constraint handling rules
    SCHRIJVERS, T. ; STUCKEY, P. ; DUCK, G. (ACM Press, 2005)
  • Item
    Thumbnail Image
    Testing for termination with monotonicity constraints
    Codish, M ; Lagoon, V ; Stuckey, PJ ; Gabbrielli, M ; Gupta, G (SPRINGER-VERLAG BERLIN, 2005)
  • Item
    Thumbnail Image
    Guiding agent-oriented requirements elicitation: HOMER
    Wilmann, D ; Sterling, L ; Cai, KY ; Ohnishi, A ; Lau, MF (IEEE COMPUTER SOC, 2005)
  • Item
    Thumbnail Image
    The G12 project: Mapping solver independent models to efficient solutions
    Stuckey, PJ ; de la Banda, MG ; Maher, M ; Marriott, K ; Slaney, J ; Somogyi, Z ; Wallace, M ; Walsh, T ; Gabbrielli, M ; Gupta, G (SPRINGER-VERLAG BERLIN, 2005)
  • Item
    Thumbnail Image
    CZT Support for Z Extensions
    Miller, T ; Freitas, L ; Malik, P ; Utting, M ; Romijn, J ; Smith, G ; VanDePol, J (Springer, 2005-01-01)
    Community Z Tools (CZT) is an integrated framework for the Z formal specification language. In this paper, we show how it is also designed to support extensions of Z, in a way that minimises the work required to build a new Z extension. The goals of the framework are to maximise extensibility and reuse, and minimise code duplication and maintenance effort. To achieve these goals, CZT uses a variety of different reuse mechanisms, including generation of Java code from a hierarchy of XML schemas, XML templates for shared code, and several design patterns for maximising reuse of Java code. The CZT framework is being used to implement several integrated formal methods, which add object-orientation, real-time features and process algebra extensions to Z. The effort required to implement such extensions of Z has been dramatically reduced by using the CZT framework.