|
| |
| | Preface to Computer Program Construction |
 | | 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. | | | Specifications are represented as binary relations on predefined spaces. | | | 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). |
|
http://www.secs.oakland.edu/~mili/program-construction/preface.htm
(1500 words)
|
|
| |
| | [No title] |
| | For vertex programs, program environment parameters are four-component floating-point vectors. | | | If a program fails to load, the value of the program error position is set to the ubyte offset into the specified program string indicating where the first program error was detected. | | | Unlike program local parameters, program environment parameters are shared by all program objects of a given target. |
|
http://oss.sgi.com/projects/ogl-sample/registry/ARB/vertex_program.txt
(13706 words)
|
|
| |
| | Program Specification and Data Refinement in Type Theory - Luo (ResearchIndex) |
| | An operational approach to program extraction in the.. | | | 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. | | | 9 Deliverables: an approach to program development in the calc.. |
|
http://citeseer.ist.psu.edu/luo91program.html
(966 words)
|
|
| |
| | Program Specification |
| | Your program should take as input a list of n pairs of numbers x y with one pair per line from the standard input. |
|
http://ace.cs.ohiou.edu/~juedes/cs404/home5/node3.html
(55 words)
|
|
| |
| | Xtal System Developer's Manual: PROGRAM SPECIFICATION : System Restrictions |
| | The example program XANAX (abbreviated code XX) is used here to illustrate the overall structure of Xtal software. | | | Because Xtal software is developed collaboratively, some conventions apply to the layout of program code and the use of ratmac instructions. | | | The way in which the QX array is referenced is an important aspect of programming Xtal software. |
|
http://www.xtal.uwa.edu.au/rfpp/xtaldev-10.html
(2049 words)
|
|
| |
| | Specifications Writing Helps |
| | Specifications mandate the use of a detail type specification which results in a design solution. | | | Documents referenced in a specification should be checked in the ASSIST database to verify that they are active. | | | Requirements are specified which may result in a specific design solution. |
|
http://www.amc.army.mil/amc/rda/milspec/specwritinghelps.html
(5338 words)
|
|
| |
| | Software Engineering Project: Finding Equations in Finite Algebras: Program Specification |
| | The program will compute a list of equations that will hold in a boolean Algebra. | | | The program will either stop with an error, or after all equations are found, or if interrupted by the user using ``^C''. | | | The program will be changed to handle arbitrary finite algebras in version 2. |
|
http://www.mcs.newpaltz.edu/~ruckert/se_project/v1/program_spec.html
(481 words)
|
|
| |
| | What is a program specification? - GameDev.Net Discussion Forums |
| | 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. | | | Basicly specifications are descriptions of the program, now depending on who you are creating it for you may need different information. | | | Posted - 4/4/2003 6:31:54 AM For a college project, i have to create a program in vb - no problems with the program, but the documentation that goes with it ro satisfy the mark scheme...i am unsure about. |
|
http://www.gamedev.net/community/forums/ViewReply.asp?id=839638
(1350 words)
|
|
| |
| | [No title] |
| | Some computer systems will be connected to networks via front-end computers which house the TCP and internet protocol layers, as well as network specific software. | | | Processes are viewed as the active elements in host computers (in accordance with the fairly common definition of a process as a program in execution). | | | There are some subtleties to computer modulo arithmetic, so great care should be taken in programming the comparison of such values. |
|
http://www.ietf.org/rfc/rfc793.txt
(14544 words)
|
|
| |
| | Understanding IMS-DL/I Essentials : Physical Databases and Program Views |
| | A program view is defined in a PCB; in fact, you can use the terms program view and PCB interchangeably. | | | Program views are defined to IMS-DL/I in Program Communication Blocks (PCBs), which are contained in Program Specification Blocks (PSBs). | | | This program view might be used by a program that prints monthly checking account statements. |
|
http://cropandsoil.oregonstate.edu/sasdocs/books/acesims/phydbs.htm
(1888 words)
|
|
| |
| | [No title] |
| | DEFINITION OF LEVELS PROGRAM TECHNICIAN This is the entry and training level for the series and the journey level for less difficult program specialist work. | | | Under general direction and with very little day-to-day supervision, incumbents act as an expert staff resource responsible for consultation in the most sensitive and complex program areas and/or are involved in the development of major Program Technician work processes. | | | PROGRAM TECHNICIAN III Ability to: All of the above and work independently with minimal direction. |
|
http://www.dpa.ca.gov/textdocs/specs/s9/s9927.txt
(612 words)
|
|
| |
| | VBM Program Specification Review |
| | 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. | | | Improves the prospect of discovering any logic errors or omissions before the code is actually programmed or generated. | | | Taking this precaution minimizes the risk of invalid programming during the construction of the system, and thus minimizes the potential for rework. |
|
http://www.itmweb.com/methodology/methd08e.htm
(681 words)
|
|
| |
| | Your Favourite Access Programs |
| | This is a summary of the access programs that can be used to interface with the GTI table files. | | | All of these procedures are contained in the file access.c and the header file access.h must be included in order to use them. |
|
http://www.ece.mcmaster.ca/faculty/mohrens/GTI/acctxt.html
(781 words)
|
|
| |
| | Learn how to make a fortune developing your own software programs! |
| | The primary portion of the program is my eBook which is a compilation from years of experience in the software development industry. | | | I'm here to tell you there are thousands upon thousands of individuals like you, who are making money developing and marketing their very own software programs. | | | My goal is to help you develop software that helps you reach whatever dreams you may have. |
|
http://www.requirementspro.com
(1803 words)
|
|
| |
| | Program specification - Wikipedia, the free encyclopedia |
| | A program specification is the definition of what a computer program is expected to do. | | | It can be informal, in which case it can be considered as a blueprint or user manual from a developer point of view, or formal, in which case it has a definite meaning defined in mathematical or programmatic terms. |
|
http://www.wikipedia.org/wiki/Program_specification
(80 words)
|
|
| |
| | The Program Specification |
| | There are 2 Program Specification fields: PROGRAM and EPATH. | | | The SSE worked in a different way - the user interface found the Interface Module first and the Interface Module defined which executable image was to be run. | | | HTML::WWWTheme is free software, licensed under the GNU General Public License as published by the Free Software Foundation. |
|
http://www.jcmt.jach.hawaii.edu/JACpublic/JCMT/software/stardocs/sun115.htx/node76.html
(170 words)
|
|
| |
| | Othello |
| | The board starts a thread Wrapper to handle the animation display while itself does all the computation. | | | extends the Applet class and is the main program. | | | It creates a board (of class Board), the buttons to handle the game, and a timer(of class Timer) to calculate the time for each set of game. |
|
http://www.cs.pdx.edu/~xinhong/othello/Main.html
(703 words)
|
|
| |
| | FRIDAY NIGHT and CHOWDER RACE RESULTS PROGRAM SPECIFICATION |
| | It does not need to be accurate or complete, but is a convenience to the program and is used to create an on-screen sorted list of the boats expected at the finish line. | | | This specificaiton for the BYC Friday/Chowder Race Results Program is offered as a humble suggestion from the users' point of view. | | | Addresses and phone numbers are not required for the functioning of the program, but would be nice to have if other uses for the database are contemplated (e.g. |
|
http://www.berkeleyyc.org/Friday/Spec.html
(1043 words)
|
|
| |
| | Upgraded Standard Technical Specification Bases Program |
| | However, based on informal contacts with staff members of one NSSS vendor, we understand renewed efforts are being made by this vendor and his affected utilities to implement this program. | | | The program has made only slight progress to date. | | | Lundvall: RE: UPGRADED STANDARD TECHNICAL SPECIFICATIONS (STS) BASES PROGRAM As you know, we initiated a program to upgrade the bases section of the STS during August 1977. |
|
http://www.nrc.gov/reading-rm/doc-collections/gen-comm/gen-letters/1979/gl79026.html
(245 words)
|
|
| |
| | NASA - IMAGE - RPI - Program Specification in CDF |
| | The following table is a summary of the various RPI program modes as specified in archived CDF files. | | | NASA - IMAGE - RPI - Program Specification in CDF |
|
http://image.gsfc.nasa.gov/rpi/rpi_spec_cdf.html
(125 words)
|
|
| |
| | Graph9 program specification page |
| | The Graph9 program first reads in a node file and a matrix file. | | | The node file contains a list of all the node names. | | | This Graph9 program does clustering based on adjacency matrix. |
|
http://cgpdb.ucdavis.edu/BlastParser/Graph9_Program.html
(537 words)
|
|
| |
| | Specification Engineering Program - Home |
| | The key to the program is our team of Leviton Specification Engineers, all 100% dedicated to direct, in-the-field support of our specifying customers, making this one of the most unique, useful and powerful programs in the industry. | | | The Specification Binder is the comprehensive information tool for all specifiers to use in bids, design plans and specification documents. | | | The Spec Binder is managed within the Specification Engineering program, and contains a CD with extensive, importable resources including: |
|
http://www.levitonvoicedata.com/specprogram
(319 words)
|
|
| |
| | Computer Laboratory - Specification and Verification I |
| | Dec 01: Embedding programming logics in higher order logic | | | On the automatic discovery of loop invariants (by A. | | | Reasoning about C programs (guest lecture by Michael Norrish) |
|
http://www.cl.cam.ac.uk/users/mjcg/Teaching/SpecVer1/SpecVer1.html
(471 words)
|
|
| |
| | SONY AND CBS PARTNER TOGETHER ON HDCAM SR TAPE FORMAT PROGRAM DELIVERY SPECIFICATION |
| | CBS broadcasts, on average, 25 hours per week of high-definition programming, more than any other broadcast network, and more original HD programming per week than any other broadcast, cable or satellite network. | | | For additional press information and digital images, please visit Sony Electronics' news and information web site at www.sony.com/news. | | | For the past five years, CBS has broadcast the vast majority of its prime time programs in the highest HDTV format, 1080 lines of resolution with 1920 pixels per line resulting in more than 2 million picture elements. |
|
http://news.sel.sony.com/pressrelease/4482
(749 words)
|
|
| |
| | Glasbord and Kemply - Nation Specification Program |
| | For more specific program information please call 1-800-435-0080. | | | Yes, please contact me about establishing a National Program with Glasbord products. | | | Click on the "GO" button to begin your search. |
|
http://www.kemlite.com/glasbord/glas_nsp.cfm
(74 words)
|
|
| |
| | Changes in the Apollo Program Specification (18005) |
| | Changes in the Apollo Program Specification Program: Apollo. | | | Apollo Program Director Samuel C. Phillips formally notified ASPO Manager George M. Low at MSC and Saturn V Program Manager Lee B. James at MSFC of changes in the Apollo Program Specification. | | | As agreed on during the MSF Management Council meeting on August 6, the Apollo payload interface was set at 46,040 kilograms (with a flight geometry reserve of 137 kilometers per hour). |
|
http://www.astronautix.com/details/cha18005.htm
(198 words)
|
|
| |
| | SD-15: Performance Specification Guide |
| | Site managed by the Defense Standardization Program Office | | | Performance Spec Guide, with Appendices A and B |
|
http://www.dsp.dla.mil/documents/sd-15.html
(24 words)
|
|
|
