| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990005458080403321 |
|
|
Autore |
Maffei, Scipione <1675-1755> |
|
|
Titolo |
Consiglio politico presentato al governo veneto nell'anno 1736 dal marchese Scipione Maffei, diviso in tre parti / Istituto Italiano per gli Studi Filosofici di Napoli |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Napoli : Bibliopolis, [1977] |
|
|
|
|
|
|
|
Edizione |
[Ripr. anast. dell'ed. veneziana del 1797] |
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996395953703316 |
|
|
Autore |
Cockburn John <1652-1729.> |
|
|
Titolo |
An historical relation of the late General Assembly held at Edinburgh from Octob. 16, to Nov. 13 in the year 1690 [[electronic resource] ] : in a letter from a person in Edinburgh to his friend in London |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London, : Printed for J. Hindmarsh ..., 1691 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Soggetti |
|
Church and state - Scotland - History - 17th century |
Scotland Church history 17th century Sources |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Attributed to John Cockburn. Cf. NUC pre-1956. |
"Licensed April the 20th, 1691" |
Reproduction of original in Huntington Library. |
"A proclamation anent a solemn national fast and humiliation": p. 78. |
Imperfect: p. 65-68 are lacking on reel 348. |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Sommario/riassunto |
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNISALENTO991004259337707536 |
|
|
Autore |
Dompè, Carlo |
|
|
Titolo |
Manuale del commerciante : ad uso della gente di commercio e degli istituti di istruzione commerciale, corredato di oltre 200 moduli, quadri, esempi, tavole dimostrative e prontuari / Carlo Dompé |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
4. |
Record Nr. |
UNINA9910484628803321 |
|
|
Titolo |
Model Driven Architecture - Foundations and Applications : 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008, Proceedings / / edited by Ina Schieferdecker, Alan Hartman |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2008.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIII, 446 p.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering, , 2945-9168 ; ; 5095 |
|
|
|
|
|
|
Altri autori (Persone) |
|
SchieferdeckerIna |
HartmanA (Alan) |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer systems |
Software engineering |
Computer engineering |
Computer networks |
Computer science |
Electronic data processing - Management |
Computer System Implementation |
Software Engineering |
Computer Engineering and Networks |
Computer Science Logic and Foundations of Programming |
IT Operations |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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 |
|
Research Session -- The Epsilon Generation Language -- Constructing and Visualizing Transformation Chains -- Towards Roundtrip Engineering - A Template-Based Reverse Engineering Approach -- Annotation Framework Validation Using Domain Models -- Prototyping Visual Interpreters and Debuggers for Domain-Specific Modelling Languages -- Data Flow Analysis of UML Action Semantics for Executable Models -- From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations -- A Practical MDA Approach for Autonomic Profiling and Performance Assessment -- Ladder Metamodeling and PLC Program Validation through Time Petri Nets -- Array OL Descriptions of Repetitive Structures in VHDL -- Textual Modelling Embedded into Graphical Modelling -- Classification of Concrete Textual Syntax Mapping Approaches -- Metamodel Syntactic Sheets: An Approach for Defining Textual Concrete Syntaxes -- Graphical Concrete Syntax Rendering with SVG -- Semantics Preservation of Sequence Diagram Aspects -- Generic Reusable Concern Compositions -- Modeling Human Aspects of Business Processes – A View-Based, Model-Driven Approach -- A Semantics-Based Aspect Language for Interactions with the Arbitrary Events Symbol -- Model-Driven Platform-Specific Testing through Configurable Simulations -- Testing Metamodels -- A Metamodeling Approach for Reasoning about Requirements -- Industrial Session -- Model-Driven Security in Practice: An Industrial Experience -- Supporting the UML State Machine Diagrams at Runtime -- Model-Based Generation of Interlocking Controller Software from Control Tables -- Model-Driven Simulation of a Maritime Surveillance System -- Towards Utilizing Model-Driven Engineering of Composite Applications for Business Performance Analysis -- From Business Architecture to SOA Realization Using MDD.-Realizing an MDA and SOA Marriage for the Development of Mobile Services -- A Survey about the Intent to Use Visual Defect Annotations for Software Models -- MDA-Based Methodologies: An Analytical Survey -- Where Is the Proof? - A Review of Experiences from Applying MDE in Industry. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 4th European Conference on Model Driven Architecture - Foundations and Applications, ECMDA-FA 2008, held in Berlin, Germany, in June 2008. The 31 revised full papers presented - 21 research papers and 10 industry papers - were carefully reviewed and selected from 87 submissions. The papers address all current issues of model-driven architecture, i.e. model management, executable models, concrete syntaxes, aspects, and concerns, validation and testing, model-based systems engineering, model-driven development and service-oriented architectures, and the application of model-driven development. The papers are organized in topical sections on model management, executable models, concrete syntaxes, aspects and concerns, validation and testing, model-based systems engineering, model-driven development and service-oriented architectures, as well as surveys on applying model-driven development. |
|
|
|
|
|
|
|
| |