caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Ramu Iyer <ramu.tutor@gmail.com>
To: caml-list@inria.fr
Subject: [Caml-list] Learning OCaml
Date: Wed, 29 Oct 2014 06:49:07 -0700	[thread overview]
Message-ID: <CALjiZU5AQCb=ykhH1iP-Y6na7ZSPzfq+Hn2BoDrB3FZycpDymw@mail.gmail.com> (raw)

[-- Attachment #1: Type: text/plain, Size: 640 bytes --]

We are currently implementing a business process management solution by
customizing an ERP application. Natural language requirements are entered
as development work items in TFS.  There is an opportunity to increase the
rigor of the formal specification.

*  Is there an approach to reverse engineer a system specification of a
tool (such as Dynamics AX)?
*  Is there a formal process to discover the accumulated technical debt in
a given implementation?

These questions are somewhat high-level and I'd be glad to obtain any
inputs that will help me incrementally advance to the next step (using
OCaml as a formal method).

Thanks,

Ramu

[-- Attachment #2: Type: text/html, Size: 814 bytes --]

             reply	other threads:[~2014-10-29 13:49 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-10-29 13:49 Ramu Iyer [this message]
2021-12-29 16:09 [Caml-list] Learning ocaml Arnaud Delobelle
2021-12-29 17:52 ` Nicolás Ojeda Bär

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to='CALjiZU5AQCb=ykhH1iP-Y6na7ZSPzfq+Hn2BoDrB3FZycpDymw@mail.gmail.com' \
    --to=ramu.tutor@gmail.com \
    --cc=caml-list@inria.fr \
    --subject='Re: [Caml-list] Learning OCaml' \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).