Object Technologies for Advanced Software [[electronic resource] ] : First JSSST International Symposium, Kanazawa, Japan, November 4-6, 1993. Proceedings / / edited by Shojiro Nishio, Akinori Yonezawa |
Edizione | [1st ed. 1993.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 |
Descrizione fisica | 1 online resource (X, 550 p.) |
Disciplina | 005.1/1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Application software Computer programming Programming languages (Electronic computers) Operating systems (Computers) Software Engineering/Programming and Operating Systems Computer Applications Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Operating Systems |
ISBN | 3-540-48075-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Uniting functional and object-oriented programming -- Traces (A cut at the “make isn't generic” problem) -- Gluons: A support for software component cooperation -- TAO: An object orientation kernel -- Change management and consistency maintenance in software development environments using object oriented attribute grammars -- Design of an integrated and extensible C++ programming environment -- Metalevel decomposition in AL-1/D -- Definition of a reflective kernel for a prototype-based language -- Kernel structuring for object-oriented operating systems: The Apertos approach -- Object database systems: Functional architecture -- Maintaining behavioral consistency during schema evolution -- An object-centered approach for manipulating hierarchically complex objects -- Towards the unification of views and versions for object databases -- Abstract view objects for multiple OODB integration -- An object-oriented query model supporting views -- Refactoring and aggregation -- Transverse activities: Abstractions in object-oriented programming -- Dynamic extensibility in a statically-compiled object-oriented language -- Managing change in persistent object systems -- An object-oriented pattern matching language -- CLOG: A class-based logic language for object-oriented databases -- Name management and object technology for advanced software -- Constraints in object-oriented analysis -- Integration of the tool (AWB) supporting the O* method in the PCTE-based software engineering environment -- Minimizing dependency on class structures with adaptive programs -- First class messages as first class continuations -- A typing system for a calculus of objects -- A type mechanism based on restricted CCS for distributed active objects -- Adding implicit invocation to languages: Three approaches -- Requirements and early experiences in the implementation of the SPADE repository using object-oriented technology -- Object-oriented formal specification development using VDM. |
Record Nr. | UNISA-996466056503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Target Detection and Tracking by Bionanosensor Networks / / by Yutaka Okaie, Tadashi Nakano, Takahiro Hara, Shojiro Nishio |
Autore | Okaie Yutaka |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (VIII, 68 p. 47 illus. in color.) |
Disciplina | 610.28 |
Collana | SpringerBriefs in Computer Science |
Soggetto topico |
Bioinformatics
Biomedical engineering Biotechnology Computational Biology/Bioinformatics Biomedical Engineering/Biotechnology |
ISBN | 981-10-2468-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1 Introduction -- 2 Static Bionanosensor Networks for Target Detection -- 3 Dynamic Bionanosensor Networks for Target Tracking -- 4 Controllability of Mobile Bionanosensors -- 5 Conclusion. |
Record Nr. | UNINA-9910254986603321 |
Okaie Yutaka
![]() |
||
Singapore : , : Springer Singapore : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|