-
1Conference
Συγγραφείς: Byelas, Heorhiy, Telea, Alexandru
Πηγή: 2009 IEEE Pacific Visualization Symposium Visualization Symposium, 2009. PacificVis '09. IEEE Pacific. :33-40 Apr, 2009
Relation: 2009 IEEE Pacific Visualization Symposium (PacificVis)
-
2Academic Journal
Συγγραφείς: Stavros Tripakis, Dai Bui, Marc Geilen, Bert Rodiers, Edward A. Lee
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors, D.2.2 [Software Engineering, Design Tools and Techniques—Modules and interfaces, D.2.13 [Software Engineering, Reusable Software General Terms, Algorithms, Design, Languages Additional Key Words and Phrases, Embedded software, hierarchy, synchronous data flow, code generation, clustering ACM Reference Format
Περιγραφή αρχείου: application/pdf
-
3Academic Journal
Συγγραφείς: Christian Kästner, Klaus Ostermann, Sebastian Erdweg
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: packages, D.2.2 [Software Engineering, Reusable Software, Design Tools and Techniques—Modules and interfaces, D.3.4 [Programming Languages, Processors—Compilers, Preprocessors General Terms Design, Languages Keywords variability, module system, composition, linker, preprocessor, ifdef, conditional compilation, Busybox
Περιγραφή αρχείου: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.308.1640; http://www.cs.cmu.edu/~ckaestne/pdf/oopsla12.pdf
-
4Academic Journal
Συγγραφείς: Renato Cherini, Javier O. Blanco
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors D.1.4 [Programming Techniques, Sequential Program- ming, D.2.2 [Software Engineering, Design Tools and Techniques—Modules and interfaces, D.2.4 [Software En- gineering, Software/Program Verification—Validation, Formal methods, Correctness proofs, D.3.3 [Programming Languages, Language Constructs and Features—Abstract data types, Constraints, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs General Terms Languages, Reliability, Verification Keywords separation logic
Περιγραφή αρχείου: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.565.6420; http://www.cs.famaf.unc.edu.ar/~renato/sites/default/files/pubs/lreasoning.pdf
-
5Academic Journal
Συγγραφείς: Yue-hsun Lin, Ahren Studer, Hsu-chun Hsiao, Jonathan M. Mccune, King-hang Wang, Maxwell Krohn, Phen-lan Lin, Adrian Perrig, Hung-min Sun, Bo-yin Yang
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: General Terms, Design, Human Factors, Security Categories and Subject Descriptors, C.2.0 [Computer – Communication Networks, General – security and protection, D.2.2 [Software Engineering, Design Tools and Techniques – modules and interfaces, H.1.2 [Models and Principles] User/Machine Systems
Περιγραφή αρχείου: application/pdf
-
6Academic Journal
Συγγραφείς: Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors D.2.2 [Software Engineering, Design Tools and Techniques—Modules and interfaces, D.2.12 [Software Engineering, Interoperability—Interface definition languages
Περιγραφή αρχείου: application/pdf
-
7Academic Journal
Συγγραφείς: Wolfgang Klingauf, Robert Günzel, Christian Schröder
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors, D.2.2 [Software Engineering, Design Tools and Techniques – Modules and interfaces, Object-oriented design methods General Terms, Design, Languages Keywords, Hardware-Software Communication, SystemC, TLM, Embedded Software, Middleware, SoC, HPC
Περιγραφή αρχείου: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.380.7412; http://www.cecs.uci.edu/~papers/esweek07/codes/p27.pdf
-
8Academic Journal
Συγγραφείς: Thomas Cottenier
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors D.2.2 [Software Engineering, Design Tools and Techniques – Modules and interfaces, Object-oriented design methods, State diagrams. D.2.3 [Software Engineering, Coding Tools and Techniques – Object-oriented programming, Structured programming. Keywords Aspect-Oriented Modeling, Model-Driven Software Development, State machine diagrams
Περιγραφή αρχείου: application/pdf
-
9Academic Journal
Συγγραφείς: Evan Martin
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors D.2.2 [Software Engineering, Design Tools and Techniques — modules and interfaces General Terms Design, Experimentation, Verification Keywords program
Περιγραφή αρχείου: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.91.2796; http://people.engr.ncsu.edu/txie/publications/icse06er.pdf
-
10Academic Journal
Συγγραφείς: William G. Griswold, Kevin Sullivan, Yuanyuan Song, Macneil Shonle, Nishit Tewari, Yuanfang Cai, Hridesh Rajan
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and subject descriptors, D.2.2 [Software Engineering, Design Tools and Techniques—modules and interfaces, D.3.3 [Programming Languages, Language Constructs and Features, D.2.11 [Software Engineering, Software Architectures—information hiding, D.2.7 [Software Engineering, Distribution, Maintenance, and Enhancement. General terms, Design, Languages
Περιγραφή αρχείου: application/pdf
-
11Academic Journal
Συγγραφείς: Cristina Videira Lopes, Sushil Krishna Bajracharya
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Πηγή: http://www.ics.uci.edu/~lopes/documents/aosd 05/lopesbajracharya-aosd05.pdf.
Θεματικοί όροι: Categories and Subject Descriptors D.2.2 [Software Engineering, Design Tools and Techniques—Modules and interfaces, Object-oriented design methods, D.2.8 [Software Engineering, Metrics—Product metrics
Περιγραφή αρχείου: application/pdf
Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.117.5785
http://www.ics.uci.edu/~lopes/documents/aosd 05/lopesbajracharya-aosd05.pdf -
12Academic Journal
Συγγραφείς: Holger Giese, Sven Burmester, Wilhelm Schäfer, Oliver Overschelp
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors D.2.2 [Software Engineering, Design Tools and Techniques— Modules and interfaces, State diagrams, D.2.4 [Software Engineering, Software/Program Verification—Model checking, I.2.8 [Artificial Intelligence, Problem Solving, Control Methods, and Search—Control theory General Terms
Περιγραφή αρχείου: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.84.7972; http://www.sfb614.de/fileadmin/hni_rip/sfb614/FSE2004.pdf
-
13Academic Journal
Συγγραφείς: Eun-seok Ryu, Chuck Yoo
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptions, D.2.2 [SOFTWARE ENGINEERING, Design Tools and Techniques- Modules and interfaces, H.1.2 [MODELS AND PRINCIPLES, User/Machine Systems, H.5.1 [INFORMATION INTERFACES AND PRESENTATION, Multimedia Information Systems General Terms, Design, Human Factors Keywords Interactive Media, IML, Mobile Device
Περιγραφή αρχείου: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.585.1879; http://os.korea.ac.kr/publication_papers/inter_confer/esryu_MM_2004.pdf
-
14Academic Journal
Συγγραφείς: Steven P. Fonseca
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors D.2.2 [Software Engineering, Design Tools and Techniques – modules and interfaces, object-oriented design methods, software libraries, state diagrams. General Terms Design, Languages Keywords Agent behavior, multi-agent system, FIPAOS, JADE, ZEUS
Περιγραφή αρχείου: application/pdf
-
15Academic Journal
Συγγραφείς: Arun David Raghavan
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Πηγή: ftp://ftp.cs.iastate.edu/pub/techreports/TR00-12/TR.ps.gz
Θεματικοί όροι: 1999 CR Categories, D.2.1 [Software Engineering] Requirements/Specifications--- languages, tools, JML, D.2.2 [Software Engineering] Design Tools and Techniques--- modules and interfaces, software libraries, D.2.4 [Software Engineering] Software/Program Verification--- formal methods, programming by contract, D.2.7 [Software Engineering] Distribution
Περιγραφή αρχείου: application/postscript
-
16Academic Journal
Συγγραφείς: Nitin Sawhney, Chris Schmandt
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors, B.4.2 [Input/Output and Data Communications, Input/Output Devices—Voice, D.2.2 [Software Engineering, Design Tools and Techniques—Modules and interfaces, User interfaces, H.1.2 [Models and Principles, User/ Machine Systems—Human factors, Human information processing, H.4.3 [Information Systems Applications, Communications Applications—Electronic mail, H.5.1 [Information Interfaces and Presentation, Multimedia Information Systems—Audio input/output, Evaluation/methodology, H.5.2 [Information Interfaces and Presentation, User Interfaces—Evaluation/methodology, Input devices and strategies, Interaction styles, Theory and methods, H.5.3 [Information Interfaces and Presentation, Group and Organization Interfaces—Asynchronous interaction General Terms, Design, Human Factors Additional Key Words and Phrases, Speech interaction, nonspeech audio, spatial listening
Περιγραφή αρχείου: application/pdf
-
17Academic Journal
Συγγραφείς: Jonathan S. Ostroff
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors, D.1.3 [Programming Techniques, Concurrent Pro- gramming, D.2.1 [Software Engineering, Requirements/Specifications—methodologies, D.2.2 [Software Engineering, Design Tools and Techniques—modules and interfaces, state diagrams, D.2.4 [Software Engineering, Software/Program Verification General Terms, Design, Verification Additional Key Words and Phrases, Abstraction, model-checking, modules, refinement, state explosion
Περιγραφή αρχείου: application/pdf
-
18Report
Συγγραφείς: Ducournau, Roland, Morandat, Floréal, Privat, Jean
Συνεισφορές: Models And Reuse Engineering, Languages (MAREL), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), Département d'informatique Montréal, Université du Québec à Montréal = University of Québec in Montréal (UQAM), Secure Software Systems (S3L), Purdue University West Lafayette
Πηγή: https://hal-lirmm.ccsd.cnrs.fr/lirmm-00180214 ; RR 07021, 2007, pp.66.
Θεματικοί όροι: modules and packages aspects, static typing, classes, crosscutting concerns, expression problem, hierarchies, import, linearization, meta-modeling, mixins, modules, multiple inheritance, overloading, redefinition, refinement, inheritance, Language constructs and features— classes and objects, Prm, Clos, Smalltalk, Eiffel, Java, C++, reusable libraries, Reusable Software—reusable models, Software Architectures—information hiding, Design tools and techniques—modules and interfaces, Object-oriented programming, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Relation: Report N°: RR 07021
-
19Academic Journal
Συγγραφείς: Caminero Gil, Francisco Javier, Paterno, Fabio, Genaro Motti, Vivian, 5th ACM SIGCHI symposium on Engineering interactive computing systems
Συνεισφορές: Louvain School of Management - Operations and Information
Πηγή: Context-Awareness, Service Front End, User Interface Adaptation, Adaptivity, Adaptability, D2.2 Design Tools and Techniques. Modules and interfaces, D2.2 Design Tools and Techniques. User interfaces, H.5.1 Multimedia Information Systems, H5.2 User Interfaces. User-centered design, D2.m Software Engineering. Miscellaneous. Rapid Prototyping, D2.m Software Engineering. Miscellaneous. Reusable software, pp. 339–340, London, UK, 24-27 June 2013
info:cnr-pdr/source/autori:Caminero Gil F. J.; Paternò F.; Genaro Motti V./congresso_nome:Context-Awareness, Service Front End, User Interface Adaptation, Adaptivity, Adaptability, D2.2 Design Tools and Techniques. Modules and interfaces, D2.2 Design Tools and Techniques. User interfaces, H.5.1 Multimedia Information Systems, H5.2 User Interfaces. User-centered design, D2.m Software Engineering. Miscellaneous. Rapid Prototyping, D2.m Software Engineering. Miscellaneous. Reusable software/congresso_luogo:London, UK/congresso_data:24-27 June 2013/anno:2013/pagina_da:339/pagina_a:340/intervallo_pagine:339–340Θεματικοί όροι: Modules and interfaces, User Interface Adaptation, User interfaces, Service Front En, User-centered design, Software Engineering. Miscellaneous. Rapid Prototyping, Software Engineering. Miscellaneous. Reusable software, 02 engineering and technology, Adaptability, Context-Awareness, Adaptivity, Design Tools and Techniques. Modules and interfaces, User Interfaces. User-centered design, Multimedia Information Systems, 0202 electrical engineering, electronic engineering, information engineering, Design Tools and Techniques. User interfaces, Service Front End
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: http://giove.isti.cnr.it/attachments/publications/p339.pdf
https://dblp.uni-trier.de/db/conf/eics/eics2013.html#GilPM13
https://dl.acm.org/citation.cfm?doid=2494603.2483224
http://dblp.uni-trier.de/db/conf/eics/eics2013.html#GilPM13
https://dl.acm.org/doi/10.1145/2494603.2483224
http://giove.isti.cnr.it/attachments/publications/p339.pdf
http://dl.acm.org/citation.cfm?id=2483224
https://hdl.handle.net/20.500.14243/252567
https://doi.org/10.1145/2480296.2483224
https://hdl.handle.net/2078/150571 -
20Report
Συγγραφείς: Pagano P., Castelli D.
Πηγή: ISTI Technical reports, pp.1–15, 1999
Θεματικοί όροι: User interfaces, Digital libraries, Design tools and techniques modules and interfaces, Information retrieval, User issues
Σύνδεσμος πρόσβασης: http://www.cnr.it/prodotto/i/407437
https://publications.cnr.it/doc/407437