| Tag |
First Indicator |
Second Indicator |
Subfields |
| LEADER |
00000cam a2200000Ma 4500 |
| 001 |
in00003546113 |
| 006 |
m o d |
| 007 |
cr nn||||||||| |
| 008 |
121227s1994 enk o 000 0 eng d |
| 005 |
20260420215756.7 |
| 020 |
|
|
|a 9781447119777 (electronic bk.)
|
| 020 |
|
|
|a 1447119770 (electronic bk.)
|
| 035 |
|
|
|a (OCoLC)840277442
|
| 040 |
|
|
|a I9W
|b eng
|e pn
|c I9W
|d OCLCQ
|d UV0
|d OCLCO
|d GW5XE
|d OCLCF
|d UtOrBLW
|
| 049 |
|
|
|a TXAM
|
| 050 |
|
4 |
|a QA75.5-76.95
|
| 082 |
0 |
4 |
|a 004
|2 23
|
| 100 |
1 |
|
|a Kaposi, Agnes.
|
| 245 |
1 |
0 |
|a Systems, Models and Measures /
|c by Agnes Kaposi, Margaret Myers.
|
| 264 |
|
1 |
|a London :
|b Springer London,
|c 1994.
|
| 300 |
|
|
|a 1 online resource (XV, 335 pages)
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 490 |
1 |
|
|a Formal Approaches to Computing and Information Technology (FACIT)
|
| 520 |
|
|
|a Systems, Models and Measures seeks to bridge the gap between the 'classical' and the newer technologies by constructing a systematic measurement framework for both. The authors use their experience as consultants in systems, software and quality engineering to take the subject from concept and theory, via strategy and procedure, to tools and applications. The book clarifies the key notions of system, model, measurement, product, process, specification and design. Practical examples demonstrate the 'architecture' of measurement schemes, extending them to object-oriented and subjective measurement. A detailed case study provides a measurement strategy for formal specifications, including Prolog, Z and VDM. The reader will be able to formulate problems in measurable terms, appraise and compare formal specifications, assess and enhance existing measurement practices, and devise measurement schemes for describing objective characteristics and expressing value judgements.
|
| 500 |
|
|
|a Electronic resource.
|
| 650 |
|
0 |
|a Computer science.
|
| 650 |
|
7 |
|a Computer science.
|2 fast
|0 (OCoLC)fst00872451
|
| 655 |
|
7 |
|a Electronic books.
|2 local
|
| 700 |
1 |
|
|a Myers, Margaret.
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 830 |
|
0 |
|a Formal Approaches to Computing and Information Technology (FACIT)
|
| 856 |
4 |
0 |
|u http://proxy.library.tamu.edu/login?url=https://link.springer.com/10.1007/978-1-4471-1977-7
|z Connect to the full text of this electronic book
|t 0
|
| 994 |
|
|
|a 92
|b TXA
|
| 999 |
|
|
|a MARS
|
| 999 |
f |
f |
|s 47a9c13e-8274-336d-bfef-4d12aeaf2af1
|i 30149a64-9175-3bb4-8313-e493e07c0517
|t 0
|
| 952 |
f |
f |
|a Texas A&M University
|b College Station
|c Electronic Resources
|s www_evans
|d Available Online
|t 0
|e QA75.5-76.95
|h Library of Congress classification
|
| 998 |
f |
f |
|a QA75.5-76.95
|t 0
|l Available Online
|