
	Where results make sense

Topic: Program specification

Related Topics

VDM specification language

Vienna Development Method

B specification language

Z specification language

Formal methods

Formal verification

Design by contract

Optimization (mathematics)

Computer science

Software engineering

Gujarati

Ethics

Secular humanism

Aristotle

Common sense

In the News (Mon 21 Dec 09)

Northern Trust

Marvin Harrison

Peter Chernin

Gary Locke

Match Play

Penelope Cruz

Mickey Rourke

AR Rahman

Danny Boyle

Hugh Jackman

	Specification of Programs
		Programs are written in a precisely and formally defined programming language, e.g., Java, C, Pascal.
		A program specification describes the results that a program is expected to produce -- its primary purpose is to be understood not executed.
		A specification is a technical contract between a programmer and his/her client and is intended to provide them with a mutual understanding of a program.
	www.cs.uiowa.edu /~fleck/spec.html (383 words)

	[No title]
		If a program parameter binding matches "program.env[a]" or "program.local[a]", the four components of the program parameter variable are filled with the four components of program environment parameter or program local parameter, respectively.
		If a program parameter binding matches "state.light[n].ambient", "state.light[n].diffuse", or "state.light[n].specular", the "x", "y", "z", and "w" components of the program parameter variable are filled with the "r", "g", "b", and "a" components, respectively, of the corresponding light color.
		If a program parameter binding matches "state.lightmodel.ambient", the "x", "y", "z", and "w" components of the program parameter variable are filled with the "r", "g", "b", and "a" components of the light model ambient color, respectively.
	oss.sgi.com /projects/ogl-sample/registry/ARB/vertex_program.txt (13706 words)

	Program specification (Site not responding. Last check: 2007-11-05)
		B-Method Formal method for developing program code from a specification in the Abstract Machine Notation, with tool support, aimed at aiding the improved development of computer-based systems.
		The Program Generator Generator A partial evaluation system for Scheme: Given a program P and a specification of which of the inputs are known in advance, PGG outputs a program generator which accepts the known inputs of P and outputs a specialized version of P. PGG is fully automa
		The Platform for Privacy Preferences 1.0 (P3P1.0) Specification This is the specification, W3C recommendation date: 16-05-2002, of the Platform for Privacy Preferences (P3P).
	www.serebella.com /encyclopedia/article-Program_specification.html (585 words)

	Specifications Writing Helps (Site not responding. Last check: 2007-11-05)
		A specification must contain the cautionary statement that every effort has been made to ensure the completeness of the Section 2 list; however, a document user must meet all specified requirements cited in Sections 3 and 4, whether they are listed in Section 2or not.
		Specifications mandate the use of a detail type specification which results in a design solution.
		The specification relies on reference to a coating specification in Section 6 which is identified as having previously met Government requirements.
	www.amc.army.mil /amc/rda/milspec/specwritinghelps.html (5338 words)

	Program Specification and Data Refinement in Type Theory - Luo (ResearchIndex) (Site not responding. Last check: 2007-11-05)
		Abstract: We develop a type-theoretic approach to program specification and data refinement and show that a type theory with a strong logical power and nice structural mechanisms provides an adequate formalism for modular development of programs and specifications.
		Specification of abstract data types is considered and a notion of abstract implementation between specifications is defined in the type theory and studied as a basis for correct and modular development of programs by stepwise...
		0.9: A Precise Semantics for Ultraloose Specifications - Reid (1993)
	citeseer.ist.psu.edu /luo91program.html (966 words)

	Preface to Computer Program Construction (Site not responding. Last check: 2007-11-05)
		The construction of a program from a specification is a complex process, involving both creativity (for the sake of deriving elegant solutions) and formality (for the sake of preserving correctness).
		Specifically, we are interested in investigating means for deriving a correct program from a specification by performing formal computations on the specification, using constructive formulas and rigorous explicit prescriptions.
		Following Part Two, where we find that our program construction rules are not sufficiently prescriptive to provide guidance in the derivation of a program from a specification, we proceed, in the remainder of the book, with formulating design decisions as the resolution of relational equations, and focus on solving these equations.
	www.secs.oakland.edu /~mili/program-construction/preface.htm (1500 words)

	RFC 1050 (rfc1050) - RPC: Remote Procedure Call Protocol specification
		A remote program implements one or more remote procedures; the procedures, their parameters, and results are documented in the specific program's protocol specification (see Appendix A for an example).
		It is useful for compatibility with old client programs, and as this program matures it may be dropped from the protocol entirely.
		A given RPC program will usually have different port number bindings on different machines, so there is no way to directly broadcast to all of these programs.
	www.faqs.org /rfcs/rfc1050.html (5754 words)

	[No title]
		Because all the programs are requesting residency as a group, drivers should be able to attempt to load all the requested programs at once (and remove from residency programs not in the group if necessary).
		When vertex program mode is enabled, vertices are transformed by the currently bound vertex program as discussed in section 2.14." Update the original initial paragraph in the section to read: "When vertex program mode is disabled, vertices, normals, and texture coordinates are transformed before their coordinates are used to produce an image in the framebuffer.
		Each existent program object consists of a target, a boolean indicating whether the program is resident, an array of type ubyte containing the program string, and the length of the program string array.
	oss.sgi.com /projects/ogl-sample/registry/NV/vertex_program.txt (11271 words)

	RFC 1057 (rfc1057) - RPC: Remote Procedure Call Protocol specification: Ve
		The fields prog, vers, and proc specify the remote program, its version number, and the procedure within the remote program to be called.
		The two authentication parameters are followed by the parameters to the remote procedure, which are specified by the specific program protocol.
		The procedure returns the remote program's port number, and the reply is the reply of the remote procedure.
	www.faqs.org /rfcs/rfc1057.html (5943 words)

	Firmware
		The programming or coding for electronic products is more detailed than the type of programming made for a personal computer, because it is more tightly coupled to the electronic hardware on which it runs, and because it usually has to respond more quickly - that is it has to run in "real time".
		The program specification will require the writer to go into substantial detail about how the product actually operates, and how it is used.
		It may well be that the material generated in the program design stage becomes largely irrelevant to understanding and maintaining the final code, if the final code is documented well enough.
	www.fortunecity.com /campus/law/1083/firmware.htm (710 words)

	[No title]
		PROGRAM TECHNICIAN II This is the journey level for this series for the more difficult program specialist work.
		Or II Three years of experience in a governmental or private agency performing duties with program responsibilities equivalent in level to those of the departmental program in the State of California for which the examination is being administered.
		PROGRAM TECHNICIAN II PROGRAM TECHNICIAN III Knowledge of: All of the above; and appropriate laws, rules, regulations, and policies of the State of California governing the program area(s) for which the examination is being administered.
	www.dpa.ca.gov /textdocs/specs/s9/s9927.txt (612 words)

	Diagnosing Java code: Walking the specification tightrope
		Program specifications are a critical but time-consuming part of any software project.
		Intuitively, a program specification is a description of the behavior of a program.
		A specification may be formalized or loosely defined, depending on the stability and criticality of the system under development, as well as the ease with which the system can be modified after deployment.
	www-128.ibm.com /developerworks/library/j-diag0219.html (2619 words)

	Numerical Carpets
		Realize that the carpet-specification program writes an include file which is prepended to the carpet-specification program; if the generation specifications contain errors, these become errors in the carpet-generation program.
		A carpet specification file that is valid at one time may not be valid at another time, since validity may depend on the existence and locations of specified files.
		When a specification is written to a file, it is appending to the specified file, so it is possible to write a sequence of carpet specifications to a file.
	www.cs.arizona.edu /icon/analyst/iasub/ia45/programs/carpets.htm (2835 words)

	Testing C++ Programs CS177, Spring 1996
		When a program crashes it is because some operation has violated the operating system constraints, usually by trying to access memory outside the space allocated to your program.
		The last kind of error is the hardest of all to catch, because the specification of the program is a moving target; it is very rare to have a complete and exhaustive specification for a program.
		A program may appear to work, but inadequate testing has failed to uncover possible mismatches between the requirements in the program specification and outputs produced by the program.
	www.cs.nmsu.edu /~rth/cs/cs177/s96/testing.html (1928 words)

	Xtal System Developer's Manual: PROGRAM SPECIFICATION : System Restrictions (Site not responding. Last check: 2007-11-05)
		The tidy program RFT is used to insert the line identifier 'XXnn mmm' in columns 73 to 80.
		Other aspects of the program structure are imposed by the nature of the preprocessor, and for reasons of aesthetics.
		This is the case for the program SFLSX where integer variables are declared in the two commons labelled COMIS1 and COMIS2.
	www.xtal.uwa.edu.au /rfpp/xtaldev-10.html (2049 words)

	Concerted GABAergic Actions of Aplysia Feeding Interneurons in Motor Program Specification -- Jing et al. 23 (12): 5283 ...
		Each motor program, irrespective of which type it is, consists of an alternating protraction–retraction sequence, illustrated as PM (protraction motoneurons, B31/B32) to the left, and RM (retraction motoneurons) to the right.
		However, depending on which type of program is expressed, CM (closure motoneurons, B8) can be active during either protraction or retraction, i.e., B8 is predominantly active during protraction in egestion, and is predominantly active during retraction in ingestion.
		programs was similar to that in the presence of picrotoxin.
	www.jneurosci.org /cgi/content/full/23/12/5283 (8226 words)

	Software Engineering Project: Finding Equations in Finite Algebras: Program Specification (Site not responding. Last check: 2007-11-05)
		The program will be written in C using the gnu C/C++ compiler gcc version 2.7.2 as available in the cs lab.
		The program is started with the command line ``findbool'' and will print a list of true equations on the standard output.
		The program will either stop with an error, or after all equations are found, or if interrupted by the user using ``^C''.
	www.mcs.newpaltz.edu /~ruckert/se_project/v1/program_spec.html (481 words)

	[No title] (Site not responding. Last check: 2007-11-05)
		Scope The internet protocol is specifically limited in scope to provide the functions necessary to deliver a package of bits (an internet datagram) from a source to a destination over an interconnected system of networks.
		The sending application program prepares its data and calls on its local internet module to send that data as a datagram and passes the destination address and other parameters as arguments of the call.
		It passes the data to the application program in response to a system call, passing the source address and other parameters as results of the call.
	www.ietf.org /rfc/rfc791.txt (7321 words)

	PIC 3: Program design
		It is unlikely for a program to give a correct solution to the original problem on its first run.
		If a program is to be used more than once, errors can surface that did not appear during the testing phase.
		Also, it can be the case that the customer finds that he had something slightly different in mind than what the program delivers, so even extensions to the program, sometimes resulting from modifications to the problem specification may count as maintenance.
	www.cs.utk.edu /~eijkhout/pic3/ref_program.html (263 words)

	[No title]
		A remote program implements one or more remote procedures; the procedures, their parameters, and results are documented in the specific program's protocol specification.
		Program numbers are administered by a central authority (rpc@sun.com).
		Flavor numbers, like RPC program numbers, are also administered centrally, and developers may assign new flavor numbers by applying through electronic mail to "rpc@sun.com".
	www.ietf.org /rfc/rfc1831.txt (4347 words)

	Understanding IMS-DL/I Essentials : Physical Databases and Program Views
		A particular program view can be composed of all segments in a database or a subset of the segments, depending on the program's requirements.
		Program views are defined to IMS-DL/I in Program Communication Blocks (PCBs), which are contained in Program Specification Blocks (PSBs).
		A program view is defined in a PCB; in fact, you can use the terms program view and PCB interchangeably.
	cropandsoil.oregonstate.edu /sasdocs/books/acesims/phydbs.htm (1888 words)

	Balloon Race Specification (Site not responding. Last check: 2007-11-05)
		Your program should be able to support balloons with different movement strategies.
		Your program should randomly pick wind speeds for a variety of different altitude ranges, construct a number of balloons at the starting line, and start the race.
		Acknowledgements: This program specification was inspired by projects developed by Dave Reed (currently at Creighton University) and Owen Astrachan (Duke University).
	max.cs.kzoo.edu /AP/OOD/OODSpecifications/BalloonRace.html (278 words)

	COBOL example programs
		A program which applies a transaction file of student payments to a Student Master File and which then produces a report showing those students whose fees are partially or wholly outstanding.
		In addition to converting and sorting the file, the program must ensure that the county name is valid and must convert it to a county number.
		A program is required to produce a report detailing the major vessels (Vessels of tonnage 3,500 or greater and all submarines) in each of oceans and major seas of the world.
	www.csis.ul.ie /COBOL/examples/default.htm (2393 words)

	VBM Program Specification Review
		Now that a designer has taken the opportunity to think through the details of an individual program, and put his or her ideas into an organized specification format, the time has come to conduct an informal walk-thru or specification "test drive".
		Since the technical design analyst actually is the person who wrote the specification, obviously he or she should be involved in the walk-thru process.
		Once the walk-thru has been completed, no more open design issues should exist for the specification, and the program should be considered to be ready for coding or generation.
	www.itmweb.com /methodology/methd08e.htm (681 words)

	TR -- Program Specification
		The procedure action diagram is the lowest level of procedural specification and key design object from which systems are generated.
		The main objective within this task is to aid the specification analyst by capturing and importing program specifications into the target CASE environment.
		The personnel and skill requirements necessary to meet the program specification task objectives are identified below.
	www.systemtransformation.com /trps.htm (803 words)

	Real Time Software design and development - AirBorn Electronics
		A thorough program specification leads straight in to Flow charts and timing diagrams, which are components of Program Design.
		The structure and algorithms may be laid out as a flowchart, a timing diagram, a description of a protocol, a memory map, or as equations.
		Program testing requires some way to get diagnostic data out of the target, for analysis.
	www.airborn.com.au /method/code.html (880 words)

	Schedule SP-1
		It is applicable to programs which do not require live animal identification, or which reference live animal requirements and identification procedures contained in previously approved generic live animal specifications (e.g.; Schedule GLA).
		Requests for new specifications, or modifications of existing specifications, must be made in writing to the Standardization Branch (SB) Chief.
		Evidence of mislabeling may result in suspension or revocation of the program and FSIS, LCPS may rescind any label approvals that were approved based on the previously approved program.
	www.ams.usda.gov /lsg/certprog/schedules/sp1.htm (445 words)

	The Specification
		A specification starts out as ideas and a wish list, and then gradually gets nailed down to something more formal and explicit.
		Specifications given by the customers are specially designed to cater to their individual needs.
		This leads to documentation of the software and hardware in a detailed manner so that when the completed PCB package is sent to the customer, it is more comprehensive to the user.
	www.fortunecity.com /campus/law/1083/specifications.htm (445 words)

	What is a program specification? - GameDev.Net Discussion Forums
		Basicly specifications are descriptions of the program, now depending on who you are creating it for you may need different information.
		Now you are writing to program for a class, so i would tend to think the professor is looking for a more technical specification, including the functions you created and what they do, but i could be way off.
		Posted - 4/5/2003 11:52:48 AM Specification is the definition of the app you are going to create and what functionality is going to be provided (and how).
	www.gamedev.net /community/forums/ViewReply.asp?id=839331 (1374 words)

Try your search on: Qwika (all wikis)