Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
ANSI/IEEE C37.1-1979 : American National Standard Definition, Specification, and Analysis of Manual, Automatic, and Supervisory Station Control and Data Acquisition / / IEEE
| ANSI/IEEE C37.1-1979 : American National Standard Definition, Specification, and Analysis of Manual, Automatic, and Supervisory Station Control and Data Acquisition / / IEEE |
| Pubbl/distr/stampa | [Place of publication not identified] : , : IEEE, , 1979 |
| Descrizione fisica | 1 online resource |
| Disciplina | 621.3126 |
| Soggetto topico |
Electric substations
Specifications |
| ISBN | 1-5044-0478-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | ANSI/IEEE C37.1-1979 |
| Record Nr. | UNINA-9910136373403321 |
| [Place of publication not identified] : , : IEEE, , 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ANSI/IEEE C37.1-1979 : American National Standard Definition, Specification, and Analysis of Manual, Automatic, and Supervisory Station Control and Data Acquisition / / IEEE
| ANSI/IEEE C37.1-1979 : American National Standard Definition, Specification, and Analysis of Manual, Automatic, and Supervisory Station Control and Data Acquisition / / IEEE |
| Pubbl/distr/stampa | [Place of publication not identified] : , : IEEE, , 1979 |
| Descrizione fisica | 1 online resource |
| Disciplina | 621.3126 |
| Soggetto topico |
Electric substations
Specifications |
| ISBN | 1-5044-0478-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | ANSI/IEEE C37.1-1979 |
| Record Nr. | UNISA-996279884303316 |
| [Place of publication not identified] : , : IEEE, , 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automated verification of specifications with typestates and access permissions [[electronic resource] /] / Radu I. Siminiceanu, Néstor Cataño
| Automated verification of specifications with typestates and access permissions [[electronic resource] /] / Radu I. Siminiceanu, Néstor Cataño |
| Autore | Siminiceanu Radu I |
| Pubbl/distr/stampa | Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2011] |
| Descrizione fisica | 1 online resource (31 pages) |
| Altri autori (Persone) | CatañoNéstor |
| Collana | NASA/CR |
| Soggetto topico |
Program verification (computers)
Specifications Approach control Data flow analysis Algorithms Parallel programming |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910701132303321 |
Siminiceanu Radu I
|
||
| Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2011] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Development of a qualification standard for adhesives used in hybrid microcircuits [[electronic resource] /] / J.J. Licari, B.L. Weigand, and C.A. Soykin
| Development of a qualification standard for adhesives used in hybrid microcircuits [[electronic resource] /] / J.J. Licari, B.L. Weigand, and C.A. Soykin |
| Autore | Licari James J. <1930-> |
| Pubbl/distr/stampa | [Huntsville], Ala. : , : National Aeronautics and Space Administration, George C. Marshall Space Flight Center, , [1981] |
| Descrizione fisica | 1 online resource (viii, pages 109) : illustrations |
| Altri autori (Persone) |
WeigandB. L
SoykinC. A |
| Collana | NASA contractor report |
| Soggetto topico |
Hybrid integrated circuits
Adhesion tests Adhesives Microelectronics Procedures Specifications Standards |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910701479703321 |
|
Licari James J. <1930->
|
||
| [Huntsville], Ala. : , : National Aeronautics and Space Administration, George C. Marshall Space Flight Center, , [1981] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
IEEE Std 1031-1991 : IEEE Guide for a Detailed Functional Specification and Application of Static VAR Compensators / / Institute of Electrical and Electronics Engineers
| IEEE Std 1031-1991 : IEEE Guide for a Detailed Functional Specification and Application of Static VAR Compensators / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | [Place of publication not identified] : , : IEEE, , 1992 |
| Descrizione fisica | 1 online resource (1 page) |
| Disciplina | 624.068 |
| Soggetto topico |
Specifications
Engineering |
| ISBN | 0-7381-2589-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | IEEE Std 1031-1991 |
| Record Nr. | UNINA-9910135898903321 |
| [Place of publication not identified] : , : IEEE, , 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
IEEE Std 1031-1991 : IEEE Guide for a Detailed Functional Specification and Application of Static VAR Compensators / / Institute of Electrical and Electronics Engineers
| IEEE Std 1031-1991 : IEEE Guide for a Detailed Functional Specification and Application of Static VAR Compensators / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | [Place of publication not identified] : , : IEEE, , 1992 |
| Descrizione fisica | 1 online resource (1 page) |
| Disciplina | 624.068 |
| Soggetto topico |
Specifications
Engineering |
| ISBN | 0-7381-2589-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | IEEE Std 1031-1991 |
| Record Nr. | UNISA-996280505603316 |
| [Place of publication not identified] : , : IEEE, , 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
An introduction to requirements capture using PVS : specification of a simple autopilot / / Ricky W. Butler
| An introduction to requirements capture using PVS : specification of a simple autopilot / / Ricky W. Butler |
| Autore | Butler Ricky W. |
| Pubbl/distr/stampa | Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , May 1996 |
| Descrizione fisica | 1 online resource (iii, 29 pages) : illustrations |
| Collana | NASA technical memorandum |
| Soggetto topico |
Computer programming
Computer programs User requirements Software development tools Program verification (computers) Software reliability Equations of state Specifications |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Introduction to requirements capture using PVS |
| Record Nr. | UNINA-9910707240003321 |
|
Butler Ricky W.
|
||
| Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , May 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Loop Shaping control design for a supersonic propulsion system model using quantitative feedback theory (QFT) specifications and bounds [[electronic resource] /] / Joseph W. Connolly and George Kopasakis ; prepared for the 46th Joint Propulsion Conference and Exhibit cosponsored by AIAA, ASME, SAE, and ASEE, Nashville, Tennessee, July 25-28, 2010
| Loop Shaping control design for a supersonic propulsion system model using quantitative feedback theory (QFT) specifications and bounds [[electronic resource] /] / Joseph W. Connolly and George Kopasakis ; prepared for the 46th Joint Propulsion Conference and Exhibit cosponsored by AIAA, ASME, SAE, and ASEE, Nashville, Tennessee, July 25-28, 2010 |
| Autore | Connolly Joseph W |
| Pubbl/distr/stampa | Cleveland, Ohio : , : National Aeronautics and Space Administration, Glenn Research Center, , [2010] |
| Descrizione fisica | 1 online resource (19 pages) : illustrations (color) |
| Altri autori (Persone) | KopasakisGeorge |
| Collana | NASA/TM |
| Soggetto topico |
Supersonic flight
Control systems design Supersonic transports Specifications Supersonic inlets Dynamic models Loops Feedback control Supersonic wind tunnels Flow distribution Computational fluid dynamics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Loop Shaping control design for a supersonic propulsion system model using quantitative feedback theory |
| Record Nr. | UNINA-9910700358203321 |
|
Connolly Joseph W
|
||
| Cleveland, Ohio : , : National Aeronautics and Space Administration, Glenn Research Center, , [2010] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Managing requirements knowledge / / Walid Maalej and Anil Kumar Thurimella, editors
| Managing requirements knowledge / / Walid Maalej and Anil Kumar Thurimella, editors |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | New York, : Springer, 2013 |
| Descrizione fisica | 1 online resource (xv, 398 pages) : illustrations (some color) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
MaalejWalid
ThurimellaAnil Kumar |
| Collana | Gale eBooks |
| Soggetto topico |
Software engineering
Specifications |
| ISBN | 3-642-34419-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | An Introduction to Requirements Knowledge -- Unpacking Tacit Knowledge for Requirements Engineering -- Mining Requirements Knowledge from Operational Experience -- DUFICE: Guidelines for a Lightweight Management of Requirements Knowledge -- Constructing and Using Software Requirements Patterns -- Using Ontologies and Machine Learning for Hazard Identification and Safety Analysis -- Knowledge-Assisted Ontology-Based Requirements Evolution -- Reusing Requirements in Global Software Engineering -- Performative and Lexical Knowledge Sharing in Agile Requirements -- Using Web 2.0 for Stakeholder Analysis: StakeSource and its Application in Ten Industrial Projects -- Resolving Inconsistency and Incompleteness Issues in Software Requirements -- Automated Verification of Variability Model Using First Order Logic -- Model-based Requirements Engineering Framework for Systems Lifecycle Support -- An Overview of Recommender Systems in Requirements Engineering -- Experience based Requirements Engineering Tools -- The Eclipse Requirements Modeling Framework -- Managing Requirements Knowledge: Conclusion and Outlook. |
| Record Nr. | UNINA-9910437569403321 |
| New York, : Springer, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
NASA/MSFC large stretch press study [[electronic resource] /] / [prepared by M.W. Choate ... [and others]
| NASA/MSFC large stretch press study [[electronic resource] /] / [prepared by M.W. Choate ... [and others] |
| Pubbl/distr/stampa | [Seattle, Wash.?] : , : Boeing Aerospace Company |
| Descrizione fisica | 1 online resource (ii, 133 pages) : digital, PDF file |
| Altri autori (Persone) | ChoateM. W |
| Collana | NASA CR |
| Soggetto topico |
Presses
Costs Procurement Site selection Specifications Surveys |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910699705103321 |
| [Seattle, Wash.?] : , : Boeing Aerospace Company | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
