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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD, FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4 X-Received: by 2002:a6b:7708:: with SMTP id n8mr2740188iom.36.1551863861693; Wed, 06 Mar 2019 01:17:41 -0800 (PST) X-Received: by 2002:a9d:648f:: with SMTP id g15mr3761718otl.160.1551863861524; Wed, 06 Mar 2019 01:17:41 -0800 (PST) Path: eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.gegeweb.eu!gegeweb.org!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.166.215.MISMATCH!y22no69634ita.0!news-out.google.com!v188ni121itb.0!nntp.google.com!y22no69629ita.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Wed, 6 Mar 2019 01:17:41 -0800 (PST) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=165.225.84.74; posting-account=bMuEOQoAAACUUr_ghL3RBIi5neBZ5w_S NNTP-Posting-Host: 165.225.84.74 References: <2199b15b-d704-403f-a6c4-00fab29792d5@googlegroups.com> <72738cc8-3f65-4cc1-8c61-b1166cb5e3c2@googlegroups.com> <9807ec3a-4c34-4641-acfa-e9cf22de95ce@googlegroups.com> <520809e3-a705-4b10-8b54-6d67c33158a6@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <747ac822-145b-458e-a8ec-e657c088bfd4@googlegroups.com> Subject: Re: Ada in command / control systems From: Maciej Sobczak Injection-Date: Wed, 06 Mar 2019 09:17:41 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Xref: reader01.eternal-september.org comp.lang.ada:55798 Date: 2019-03-06T01:17:41-08:00 List-Id: > Anecdote regarding the importance of pictures: [...] Oh, sure, I have some horror stories, too. But I have horror stories about = everything and if the only conclusion from this is that we should stop doin= g SW, then it's the conclusion I don't want to make. > The design pictures that are really useful for understanding a piece of= =20 > SW are almost always abstractions and simplifications and could be=20 > called "useful lies". Unfortunately this means that the pictures must be= =20 > manually created, and manually maintained as the SW evolves. This is interesting. The question is - is this manual maintenance a cost th= at outweighs the gains (if there are any)? Another question - is it possibl= e to automate some part of this process to reduce this cost? For example, even if we don't generate source from models, a tool that tell= s whether the (possibly hand-written) source is a refinement of the model w= ould be very useful already. > However, AIUI current model-based tools are=20 > each based on a single kind of "model" -- say, state-charts Which makes them useful at some particular level of the software process. I= don't expect a single tool to fill the whole gap between the client and th= e final product. Criticizing the tool that it is useful only to a limited e= xtent is not very convincing - because I'm still interested in reaping the = benefits (if there are any) in this limited scope. --=20 Maciej Sobczak * http://www.inspirel.com