| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910700970303321 |
|
|
Autore |
Goldstein Mark L |
|
|
Titolo |
Homeland security [[electronic resource] ] : protecting federal facilities remains a challenge for the Department of Homeland Security's Federal Protective Service : testimony before the Subcommittees of the House Committee on Homeland Security / / statement of Mark L. Goldstein |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[Washington, D.C.] : , : U.S. Govt. Accountability Office, , [2011] |
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (14 pages) |
|
|
|
|
|
|
Collana |
|
Testimony ; ; GAO-11-813T |
|
|
|
|
|
|
Soggetti |
|
Civil defense - United States |
Terrorism - United States - Prevention |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Title from PDF title screen (viewed Sept. 1, 2011). |
"For release ... July 13, 2011." |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996465768903316 |
|
|
Titolo |
Software Composition : 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings / / edited by Alexandre Bergel, Johan Fabry |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2009.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (IX, 177 p.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 5634 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer programming |
Programming languages (Electronic computers) |
Computer logic |
Computer communication systems |
Software Engineering/Programming and Operating Systems |
Software Engineering |
Programming Techniques |
Programming Languages, Compilers, Interpreters |
Logics and Meanings of Programs |
Computer Communication Networks |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Language Design for Meta-programming in the Software Composition Domain -- Putting Traits in Perspective -- Feature (De)composition in Functional Programming -- I-Java: An Extension of Java with Incomplete Objects and Object Composition -- Language-Independent Quantification and Weaving for Feature Composition -- Lazy Composition of Representations in Java -- Specifying and Composing Non-functional Requirements in Model-Based Development -- Round-Trip Support for Invasive Software Composition Systems -- Implicit First Class Genericity -- A Framework for Testing Model Composition Engines -- Composing RESTful Services with JOpera -- Writing Composable Software with InterpreterLib. |
|
|
|
|
|
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 8th International Symposium on Software Composition, SC 2009, held in Zurich, Switzerland, in July 2009. The workshop has been organized as an event co-located with the TOOLS Europe 2009 conference. The 10 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 34 submissions. The papers reflect current research in software composition to foster developing of composition models and techniques by using aspect- and service-oriented programming, specification of component contracts and protocols, methods of correct components composition, as well as verification, validation and testing techniques - even in pervasive computing environments and for the Web. |
|
|
|
|
|
|
|
| |