HDTenEightyP/NetNews huggingface dataset:
From: scha@pollux.usc.edu (Seungho Cha)
Newsgroups: comp.music
Subject: looking for music composition software
Date: 16 Oct 1992 13:23:55 -0700
Organization: University of Southern California, Los Angeles, CA
Distribution: inet
NNTP-Posting-Host: pollux.usc.edu
Keywords: composition software

My wife is looking for a software which can do music composition
through MIDI.  (I mean, playing keyboard ---> music score or vice versa)
She prefers one which can run with MS Windows.
Thank you very much for your help.

- Seungho

-- 
 ___
' o/                                   |>
  |    .  o                            |
  >\.                                ( | )
From: aj293@cleveland.Freenet.Edu (Keith C. Sykora)
Newsgroups: comp.music
Subject: Deluxe Music Construction Set system prerequisites
Date: 16 Oct 92 20:32:38 GMT
Reply-To: aj293@cleveland.Freenet.Edu (Keith C. Sykora)
Distribution: inet
Organization: Case Western Reserve University, Cleveland, OH (USA)
NNTP-Posting-Host: thor.ins.cwru.edu


In response to an earlier query concerning a transcription program
that would run on my 512 Mac, several people recommended DMCS.
I called a mail order house and learned that the program is currently
available for $85 and should run on a 512KE but the operating system
requirement is listed as being system 6.x.  This puzzles me since the
the recommended system for a 512KE is (as best I can determine)
3.2-3.4 with 4.0 and 4.1 listed as "acceptable".  I am currently way
back at 2.0 but assume that I can obtain a later system if necessary.

My computer is a 512KE-, i.e., I have the KE ROMs but not the 800K drive.

Any comments, suggestions, information, etc. would be appreciated.
In particular, can anyone supply the address, preferably email, or
a phone number for the publisher of DMCS (Software Arts I believe) 
or suggest a source for that address.  They should be able to tell 
me exactly what I'll need to run their program.  Alternatively, if 
this program has been out for some time, like since the 512 was current, 
is there any earlier revision of it that is guaranteed to run on my old 
machine?  If so, can you suggest a source for the old revision?  
Questions, questions.  Please reply via email.
From: beers@acsu.buffalo.edu (Andrew Beers)
Newsgroups: comp.music
Subject: MOD player for Indigo
Date: 11 Oct 92 20:25:04 GMT
Organization: State University of New York at Buffalo/Comp Sci


The subject says it all:  does anyone know of an FTP site that's got a MOD
player that runs on an IRIS Indigo R4000, under IRIX 4.0.5?

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Andrew C. Beers, N2LUH             beers@cs.buffalo.edu  
SUNY Buffalo, Computer Science     {rutgers,uunet}!cs.buffalo.edu!beers
Newsgroups: comp.music
From: toddwall@rock.concert.net (R. Todd Wall -- Catholic Diocese of Raleigh -- Computer Services)
Subject: Any ADLIBers out there??
Organization: CONCERT-CONNECT -- Public Access UNIX
Date: Thu, 15 Oct 1992 18:29:47 GMT


	Any ADLIBers out there on the net???  Is there any new ADLIB music
being created??  The most receint files I can find are over a year old.


-- 
o o ______           _     _____  _  _ o o  "But the fruit of the Spirit is
' '   /       /   / ' )   /      // // ' '   love, joy, peace, patience,
     / ______/ __/   / / / __.  // //        kindness, goodness, faithfulness,
   _/ (_) (_/_(_/_  (_(_/ (_/|_</_</         gentleness and self-control."
Newsgroups: comp.music,rec.music.synth
From: dmcnamar@netcom.com (Dennis McMamara)
Subject: Re: MPU-401 programming info needed
Organization: Netcom - Online Communication Services  (408 241-9760 guest) 
Distribution: USA
Date: Fri, 9 Oct 1992 03:46:15 GMT

In article <1992Sep30.043703.31144@slate.mines.colorado.edu> jarhart@slate.mines.colorado.edu (Jason Arhart) writes:
>
>     I want to write a simple program to control my synthesizers using my
>MPU-401 compatible interface, but I can't find any information on how it's
>done.  I've looked all over the network to no avail.  I would be very
>appreciative if somebody could help me out.
>
>Thank you,
>
>Jason Arhart
>jarhart@slate.Mines.Colorado.edu

Music Quest, Inc. makes an MPU-401 compatible card, and they have a
Technical Reference Manual and software on disk. Price was about
$50 a year ago. Their address is
P.O.Box 260963
Plano, Texas, 75026-0983
(214) 861-7408
They have a simple sequencer that comes with the package, as well
as 80x86 assembler code to handle the 1st & 2nd level interupts,
very technical stuff.
Hope this helps.

-- 
Dennis McNamara dmcnamar@netcom.com
Purveyor of Fine Software: Composer's WorkBench

Newsgroups: comp.music
From: dmcnamar@netcom.com (Dennis McMamara)
Subject: Re: MIDI File Format Specifications
Organization: Netcom - Online Communication Services  (408 241-9760 guest) 
Date: Wed, 14 Oct 1992 03:09:43 GMT

In article <9210131500.PN16082@LL.MIT.EDU> lebrun@ll.mit.edu (Steven F. LeBrun) writes:
>Is there a "standard" MIDI File Format for storing MIDI commands and/or
>sequencing information?  If so, could someone tell me where I can find 
>a description of this format.  A text or postscript file(s) available 
>via anonymous ftp on the Internet would be preferred.
>--
>
>+--------------------------------------------------------------------------+
>| Steven F. LeBrun             |      MIT Lincoln Laboratory, Group 91     |
>|                              |        244 Wood Street, Room LI-136       |
>| lebrun@ll.mit.edu (Internet) |          Lexington, MA 02173-9108         |
>| lebruns@merlin    (internal) |  Phone:(617)-981-5742, FAX:(617)-981-0991 |
>+--------------------------------------------------------------------------+
>|"Hard as lightning, soft as candlelight;                                  |
>|                    Dare you trust the Music of the Night?" - The Phantom |
>+--------------------------------------------------------------------------+

The International MIDI Association is responsible for the Standard
MIDI file Specification. They charge a fee of $5 US for it.
They are at:
5316 W. 57th St.
Los Angeles, Ca 90056 USA
voice phone (213) 649-6434

-- 
Dennis McNamara dmcnamar@netcom.com
Purveyor of Fine Software: Composer's WorkBench
From: krw1@ns1.cc.lehigh.edu (Kevin Weiner)
Newsgroups: comp.music
Subject: Re: Shareware MIDI sequencer for MS-DOS
Date: 12 Oct 92 14:10:08 GMT
Organization: Lehigh University

In article <92283.144241ACPS7299@RyeVm.Ryerson.Ca>, ACPS7299@RyeVm.Ryerson.Ca
writes:
>
> I'm looking for a semi-decent shareware MIDI sequencer. I'm not looking for an
>ything fancy, I just wanna play around with my SoundBlaster PRO and a MIDI
>keyboard. FTP sites would be nice, or you could email one straight to me,
>I'd appreciate it!

The only reasonable shareware sequencer I'm aware of is Dan McKee's
WinJammer for Windows (3.1 or MME).  I uploaded it recently to ucsd.edu
and ftp.cica.indiana.edu.  I don't believe you'll find much for DOS.

By the way, the SB Pro MIDI kit already includes a sequencer.  Didn't
you get one?  It may be packaged differently these days.
-- 

----------------------------------------------------------------------------
Kevin Weiner        Lehigh University Computing Center        (215) 758-3991
Newsgroups: comp.music,comp.unix.sysv386,comp.windows.x
From: stefan@sinus.stgt.sub.org (Stefan Bechtold)
Subject: Music software for Unix/X11
Organization: Sinus Stuttgart, Germany
Date: Thu, 15 Oct 1992 17:16:11 GMT

Hi !

I've a PC with Interactive Unix and a Roland SCC-1 soundcard. 
What software does exist for this configuration (like
sequenzing,notation or other software) for Unix ?

Is there some music software for X11 ?

Does anybody have any hints (like ftp-sites e.g.) ?

Thank you in advance,
Stefan

-- 
+ Stefan Bechtold # stefanb@delos.stgt.sub.org # Voice +49 711 813240 +
++++++++sed nemo potuit tangere: merda fuit ! (Martial III 17)+++++++++

Xref: sparky comp.music:4766 rec.music.synth:16511
From: metlay@netcom.com (metlay)
Newsgroups: comp.music,rec.music.synth
Subject: Re: Galaxy & editors
Summary: non sequitur
Date: 14 Oct 92 17:34:01 GMT
Organization: Atomic City

In article <92287.122154MRLCC@CUNYVM.BITNET> <MRLCC@CUNYVM.BITNET> writes:
>Does anyone know it the universal librarian will work with the editors
>from Galaxy + editors. When I say universal lib I mean plain Galaxy
>Universal Librarian.

Your question doesn't make sense. Galaxy Plus Editors and Galaxy are the
same program, but one of them has editor modules enabled. You run G+E
and you're in Galaxy, with editing available as an option in the menus.

Am I missing something here?



-- 
metlay            | Saddam Hussein still has a job.
atomic city       | Do you?
                  | 
metlay@netcom.com | VOTE CLINTON/GORE. NOT PERFECT, BUT NOT BUSH/QUAYLE EITHER.
Newsgroups: comp.specification
From: jon@cs.washington.edu (Jon Jacky)
Subject: Re: Advantages of Z and VDM over Dijkstra-style specifications?
Summary: They are complementary
Keywords: Cohen, Dijkstra, Gries, Hoare, VDM, Z, formal methods, verification
Organization: Computer Science & Engineering, U. of Washington, Seattle
Date: Wed, 7 Oct 92 16:05:38 GMT

The specification style taught by the Z and VDM schools and the program
derivation methods taught by Dijkstra, Hoare, Gries, Cohen and many others
aren't in competition with one another - they are complementary.

The program derivation methods emphasize developing correct algorithms
from very short specifications - usually just a line or two of formulas.

The Z and VDM schools teach how to write specifications for large systems -
systems whose prose requirements documents can be hundreds of pages long.

The mathematical foundations for Z/VDM style specs and for Dijkstra/Hoare/etc.
specs are essentially the same: typed sets, relations, functions, arithmetic 
and first order logic.   This mathematics appears unadorned in the Dijkstra 
etc. specs, but Z and VDM provide additional constructs to help organize 
large (many pages long) formal specifications.

So, you can specify your (big) system in Z or VDM, and then when it comes time
to do the detailed implementation of some particular piece of it, you can
tweeze out the relevant formulas and use them in a Dijkstra (etc.) development.

An interesting issue concerns how to decide when it is useful/cost effective to
perform a rigourous Dijkstra (etc.) style development of the implementation.
Some argue that it is useful to produce a Z or VDM spec for descriptive
purposes, to guide a rather informal development of the implemention, without
going all the way through a full formal development of the implementation.

- Jon Jacky, jon@radonc.washington.edu, University of Washington, Seattle, USA
From: dubuis@tech.ascom.ch (Eric Dubuis)
Newsgroups: comp.specification
Subject: Re: tools for specification
Date: 12 Oct 92 16:19:30 GMT
Reply-To: dubuis@tech.ascom.ch
Organization: Ascom Tech Ltd.

In article 18786@di.unipi.it, cianca@di.unipi.it (Paolo Ciancarini) writes:
>I am interested in any tool that could be used 
>in an educational institution
>to write and reason with specifications
>(eg. theorem provers for specific formalisms, 
>graphical interfaces for Petri Nets, etc.).
>

For tools for LOTOS, you may get LITE (Lotosphere Integrated Tool
Environment).  For more informatin, please contact

Name:                    Jeroen van de Lagemaat
Work Phone:              +31 53 893684
Company:                 University of Twente
Work Address:            Dept. of Informatics,
                         P.O. Box 217,
                         7500 AE  ENSCHEDE,
                         THE NETHERLANDS
Email:                   lagemaat@cs.utwente.nl


---
*****************************************************************************
Eric Dubuis,					Tel.:	 +41 31 999 3790
Ascom Tech Ltd., V/TID,				Fax:	 +41 31 991 5211
CH-3018 Berne, Switzerland			E-mail:	 dubuis@tech.ascom.ch
Newsgroups: comp.specification
From: bergner@Informatik.TU-Muenchen.DE (Bergner)
Subject: OBJ for SUN workstations?
Originator: bergner@sunbroy9.informatik.tu-muenchen.de
Organization: Technische Universitaet Muenchen, Germany
Date: Thu, 15 Oct 1992 15:53:21 GMT


Does anybody know where to obtain a compiler for the executable specification language OBJ for SUN workstations (preferable via FTP)?

Many thanks,

Klaus Bergner
From: hcc@cs.olemiss.edu (Conrad Cunningham)
Newsgroups: comp.specification
Subject: Re: Advantages of Z and VDM over Dijkstra-style specifications?
Date: 1 Oct 92 13:00:11 GMT
Organization: University of Mississippi, Dept. of Computer Science

In article <1992Sep29.092813.19695@ghost.dsi.unimi.it> vaccari@ghost.dsi.unimi.it (matteo vaccari) writes:
>>  "Predicate Calculus and Program Semantics" by E. Dijkstra,
>>or
>
>  "Programming in the '90s", by E. Cohen
>
>In those books in fact not so much attention is paid to specifications
>as to proofs of correctness. Is this the main difference?

It's probably true that not enough attention is given to specification
issues, but it is not really accurate to say that Cohen's book just
pays attention "to proofs of correctness."  I take that phrase to mean
"program verification", that is, the proof that an existing program meets its
specification.  The focus of Cohen's book is on program derivation (or
calculation or synthesis, choose your term) rather than ex post facto 
verification.  Program derivation is the use of correctness concepts
and various design heuristics to discover (i.e., derive, calculate, or
synthesize) a program that satisfies a given specification.  

- Conrad Cunningham, University of Mississippi, Computer & Information Science
-- 
-------------------------------------------------------------------------------
H. Conrad Cunningham  | Dept. of Computer & Info. Sci., Univ. of Mississippi
Tel:  (601) 232-5358  | 302 Weir Hall, University, MS 38677  U.S.A.
Fax:  (601) 232-7010  | Email:  cunningham@cs.olemiss.edu
From: Howard S. Goodman
Newsgroups: comp.specification.z,comp.lang.functional,comp.specification
Subject: Animation of formal specifications in a functional language
Date: 16 Oct 92 13:33:32 GMT
Organization: School of Computer Science, University of Birmingham, England
Originator: hsg@fat-controller

I am looking for references to the development  of  programs  in  a  functional
language  from  specifications  written  in  a  dedicated  formal specification
notation such  as  Z.   Anything  to  do  with  the  notions  of  specification
animation,  development  of programs from specifications, prototyping, etc., is
of relevance,  provided  that  the  target  language  is  declarative  and  not
imperative.   Stuff  relating  to Z and languages such as Miranda(TM), Haskell,
SML etc. would be especially welcome.

Please email me with any references to the subject.   I shall post a summary of
replies in due course.

+--------------------+--------------------------------------------------------+
| howard s goodman   |  school of computer science - university of birmingham |
| hsg@cs.bham.ac.uk  |			     - BIRMINGHAM - B15 2TT - england |
+--------------------+--------------------------------------------------------+
From: willi@algol.informatik.uni-essen.de (Wilhelm Hasselbring)
Newsgroups: comp.specification.z
Subject: Visibility lists in Object-Z
Keywords: Object-Z
Date: 16 Oct 92 14:22:22 GMT
Organization: University of Essen, Germany



I have a question concerning visibility lists in Object-Z, and hope that this
an appropriate place to ask.

As far as I understand it, visibility lists are used to indicate which
features of an object are available to its clients (users via instantiation),
but not which features of an object are available to its children (users
through inheritance).

Therefore, children always have access to all the features of their parents.
However, children may restrict their access via the keyword 'remove' while
inheriting a class.

My question is: Is it possible in Object-Z to designate some features as
hidden from children?

Thanks for your help, Willi

-------------------------------
W Hasselbring                                   Tel.: (+49 201 183 2168)
University of Essen                             Fax.: (+49 201 183 2419)
Fachbereich Mathematik und Informatik - Software Engineering
Schuetzenbahn 70, 4300 Essen 1, Germany         willi@informatik.uni-essen.de

--
-------------------------------
W Hasselbring, University of Essen              willi@informatik.uni-essen.de
From: sean@mpi-sb.mpg.de (Sean Matthews)
Newsgroups: comp.specification.z
Subject: nfss zed style file
Keywords: TeX zed nfss
Date: 7 Oct 92 12:37:54 GMT
Organization: Max-Planck-Institut fuer Informatik, Saarbruecken
NNTP-Posting-Host: gs-serv1.dfki.uni-sb.de

I realise that this question was asked just a short while ago, but
I didn't realise that I would need such a thing so soon.

So to save me having to do it myself...

Could someone tell me where I can find an nfss compatible version of
zed.sty.

Thanks,

Sean

P.S., mail me, this probably is not worth expending net bandwidth over (though
it might, and I imagine certainly willsoon, qualify as a FAQ).

-- 
Sean Matthews (sean@mpi-sb.mpg.de)
Max-Planck-Institut fuer Informatik,            voice: +49 681 302 5363
Im Stadtwald, W-6600 Saarbruecken, Germany.       fax: +49 681 302 5401
From: yasushi@access.co.jp (Yasushi Saito)
Newsgroups: comp.specification.z
Subject: Handling derived types
Date: 15 Oct 92 07:47:21 GMT
Organization: Access Co. Ltd. Tokyo, Japan.


  Hello. I am a new user of Z and I have a question about handling
derived types in Z.  Suppose there is a class A, and also, class B and
C derived from A (the below example is written in C++).

  class A {          class B : public A {       class C : public A {
    ..                 ..                         ..
    some_op();       };                         };
  };       

  A::some_op can process objects of either class B or C, but accesses
only the components of A, leaving other components of B or C unchanged.

  My question is that how I can write the specification of operations
  like some_op(). 

--
Yasushi Saito
  Access Co. Ltd.  Tokyo, Japan.
From: Roger_Alexander@rock.intersolv.com
Newsgroups: comp.specification.z
Subject: Email Address
Date: 8 Oct 92 23:44:00 GMT

Does anyone have the email address for J.B. Wordsworth ?  Please respond to 
roger_alexander@intersolv.com

Thanks,

Roger Alexander
INTERSOLV
From: tw1y+@andrew.cmu.edu (Thomas Werthmann-Auzinger)
Newsgroups: comp.specification.z
Subject: Cognitive processes and formal specifications
Date: 7 Oct 92 22:06:08 GMT
Article-I.D.: andrew.4eowzEu00WBM49v0wY
Organization: Masters student, Software Engineering, Carnegie Mellon, Pittsburgh, PA


I plan to do an experiment on using formal specifications between 
requirements and design. It will be a simple thinking aloud protocol of some
subjects performing a design task. One group will take an informal, the other
one a formal approach. The question I'd like to answer is whether formal
specifications can reduce design errors, and build a model that explains why
this is so.

My question is:

Has there any research been done on the cognitive basis of formal
specifications? (I'm already familiar with the work of Guindon, Krasner
and
Curtis and of Civello. Jeffries and Atwood are also on my literature list)

Are there any open questions about the psychological foundations of formal
methods that are worth answering and would fit into such an experiment?

Thanks,

Thomas Werthmann-Auzinger

Master of Software Engineering Program
School of Computer Science
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213

twa@mse.cmu.edu
From: CMRCM@STAFFS.AC.UK
Newsgroups: comp.specification.z
Subject: (none)
Date: 8 Oct 92 16:44:27 GMT
Originally-From: CMRCM
Mailer: Janet_Mailshr V3.4 (23-May-1989)
X-Mailer: mail-news 2.0.3
Originally-To: JANET%"zforum@oxford.prg"

help
Newsgroups: comp.specification
From: cianca@di.unipi.it (Paolo Ciancarini)
Subject: tools for specification
Keywords: tools, specification
Organization: Dipartimento di Informatica, Universita' di Pisa
Date: Fri, 9 Oct 1992 16:42:41 GMT

I am interested in any tool that could be used 
in an educational institution
to write and reason with specifications
(eg. theorem provers for specific formalisms, 
graphical interfaces for Petri Nets, etc.).

I am preparing a graduate course at the Univ. of Bologna
on specification methods, and I would like
to let my students to test some tool.

For instance, time ago I read about 
a Larch theorem prover available by ftp, 
but I have lost the reference. Any kind soul
can give it to me?

Of course I will share what I find,
posting it here.

Many thanks

Paolo Ciancarini
--
* Paolo Ciancarini  (cianca@di.unipi.it)            *
* tel:     +39 50 510264 fax: +39 50 510226         *
* address: Dip. di Informatica - University of Pisa *
*          cso. Italia,40        56125 Pisa - Italy *
Xref: sparky comp.specification:460 comp.software-eng:3762
From: ach@dsg.npl.co.uk (Andrew Harry)
Newsgroups: comp.specification,comp.software-eng
Subject: Microsoft Word VDM character set
Keywords: VDM, Microsoft Word
Date: 13 Oct 92 14:55:03 GMT
Distribution: eunet
Organization: National Physical Laboratory, UK

I recently saw an enquiry asking whether there was a character set for Microsoft Word 5.5 for the formal specification language Z. 

Whilst we do not have a Z character set, our group has been involved in developing one for the formal language VDM capable of being used on Microsoft Word. This is now ready and we are thinking of marketing it on a commercial basis for a small cost. 

We would like to hear from anyone interested in obtaining the character set.




Andrew Harry (Scientific officer)
Data Security Group,
National Physical Laboratory,
Queens Road,
Teddington,
Middlesex, TW11 0LW,
ENGLAND

Tel: +4481 943 7009
Fax: +4481 977 7091
Newsgroups: comp.specification
From: olender@vivaldi.cs.colostate.edu (Kurt Olender)
Subject: Re: Petri Nets, Tools & Applications
Date: Fri, 16 Oct 1992 16:30:32 GMT
Distribution: comp
	<1992Oct15.155302.23866@csc.ti.com>
Organization: Colorado State Univ. Computer Science Dept.


There is also a tool called PNUT, developed at UC Irvine.  It is
available free by anonymous ftp at ics.uci.edu:/pub/misc/pnut.tar.Z.

It includes a number of tools to do reachability analysis, edit PN's
graphically, simulate and animate PN actions, etc.
From: jon@cs.washington.edu (Jon Jacky)
Newsgroups: comp.specification
Subject: Re: Looking for small examples
Summary: Another example - "Cat and Mouse"
Keywords: Specification, case studies, toys, "cat and mouse", Statechart, Z
Date: 16 Oct 92 16:28:36 GMT
Article-I.D.: beaver.1992Oct16.162836.20866
Organization: Computer Science & Engineering, U. of Washington, Seattle

In article <1992Oct15.211956.22851@wuecl.wustl.edu> wilcox@swarm.wustl.edu
 (Don Wilcox) writes:

> Almost every paper in formal methods, software engineering, or system
> specification uses examples, and most of the papers describing new ideas use
> fairly simple examples. ...  would you be interested in telling
> me about your favorite "toy" example? 

A new one I saw recently was "Cat and Mouse": a mouse runs past a cat, 
after a delay the cat begins pursuing the mouse.  Can the cat capture the 
mouse before the mouse escapes through a hole in the wall?  This was posed
to participants in a workshop on real time systems.

This very long paper proposes a Statechart solution (and discusses several
other problems and notations also):

@inproceedings{author = "Oded Mahler and Zohar Manna and Amir Pnueli",
	title = "From Timed to Hybrid Systems",
	pages = "445 -- 484",
	booktitle = "Real-Time: Theory in Practice,
			{REX} Workshop Proceedings",
	year=1991,
	editor="J. W. de Bakker and C. Huizing and W. P. de Roever and 
			G. Rozenberg",
	publisher="Springer-Verlag",
	note="Lecture Notes in Computer Science 600"}

This short paper proposes a Z solution:

@inproceedings{author = "William G. Wood",
	title = "A Specification of the Cat and Mouse Problem",
	pages = 676 -- 686,

	... other information as in preceding reference ...

	}

- Jon Jacky, jon@radonc.washington.edu, University of Washington, Seattle USA

	
	
Newsgroups: comp.specification