From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: Ada in command / control systems
Date: Mon, 11 Mar 2019 17:01:05 +0000
Organization: A noiseless patient Spider
Message-ID: <ly4l89tkfi.fsf@pushface.org>
References: <2199b15b-d704-403f-a6c4-00fab29792d5@googlegroups.com>
	<q508nv$gnb$1@gioia.aioe.org>
	<a9e95da8-9923-4be6-98f2-30913f0a5274@googlegroups.com>
	<e9750c52-f4bd-47c9-988c-b7fd418a4ce7@googlegroups.com>
	<q536ao$1uj3$1@gioia.aioe.org>
	<72738cc8-3f65-4cc1-8c61-b1166cb5e3c2@googlegroups.com>
	<q55lgi$1967$1@gioia.aioe.org>
	<f96796fc-71dc-4229-a77f-588c98a7c527@googlegroups.com>
	<q5710f$1nbo$1@gioia.aioe.org>
	<9807ec3a-4c34-4641-acfa-e9cf22de95ce@googlegroups.com>
	<q5l7rj$a8$1@dont-email.me> <q5lfgm$42k$1@gioia.aioe.org>
	<520809e3-a705-4b10-8b54-6d67c33158a6@googlegroups.com>
	<ge7rgeFg6q4U1@mid.individual.net> <q5ura4$jlu$1@gioia.aioe.org>
	<lyimwsmpir.fsf@pushface.org> <q6110b$q0$1@gioia.aioe.org>
	<lyef7fn8yg.fsf@pushface.org> <q63uld$16du$1@gioia.aioe.org>
	<ly8sxlu6va.fsf@pushface.org> <q65r8i$1i7e$1@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: reader02.eternal-september.org;
 posting-host="1e460af0a11c2df43abde8cc4df78ff1";
	logging-data="12904"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/Mfvy/pTQd7kLkddk8xG3Mr+RvL8HnKdo="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (darwin)
Cancel-Lock: sha1:7mCMfEbMfVxqd3sx48iDwaFo5Qg=
	sha1:0STWhqS39HYeuQdYyZgZpn5xXvI=
Xref: reader01.eternal-september.org comp.lang.ada:55834
Date: 2019-03-11T17:01:05+00:00
List-Id: <comp.lang.ada>

russ lyttle <lyttlec@removegmail.com> writes:

> I like using the diagrams as an engineering aid. Just not including
> them in the requirements documents.

Completely agree that models to be automatically converted into code
[even frameworks] can't be part of the requirements, they're part of the
solution.

> Requirements are (should be) fixed and unchangeable.

Hollow laughter :-)

> The diagrams need to be dynamic and always reflect the current status
> of the code.

Well, if your process requires that the model is updated first and the
code regenerated, that will happen automatically. We did that.