-
1Conference
Authors: Byelas, Heorhiy, Telea, Alexandru
Source: 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
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: 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
File Description: application/pdf
-
3Academic Journal
Authors: Christian Kästner, Klaus Ostermann, Sebastian Erdweg
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: 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
File Description: 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
Authors: Renato Cherini, Javier O. Blanco
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: 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
File Description: 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
Authors: 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
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: 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
File Description: application/pdf
-
6Academic Journal
Authors: Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: 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
File Description: application/pdf
-
7Academic Journal
Authors: Wolfgang Klingauf, Robert Günzel, Christian Schröder
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: 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
File Description: 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
Authors: Thomas Cottenier
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: 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
File Description: application/pdf
-
9Academic Journal
Authors: Evan Martin
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.2.2 [Software Engineering, Design Tools and Techniques — modules and interfaces General Terms Design, Experimentation, Verification Keywords program
File Description: 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
Authors: William G. Griswold, Kevin Sullivan, Yuanyuan Song, Macneil Shonle, Nishit Tewari, Yuanfang Cai, Hridesh Rajan
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: 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
File Description: application/pdf
-
11Academic Journal
Contributors: The Pennsylvania State University CiteSeerX Archives
Source: http://www.ics.uci.edu/~lopes/documents/aosd 05/lopesbajracharya-aosd05.pdf.
Subject Terms: 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
File Description: application/pdf
Availability: 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
Authors: Holger Giese, Sven Burmester, Wilhelm Schäfer, Oliver Overschelp
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: 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
File Description: 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
Authors: Eun-seok Ryu, Chuck Yoo
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: 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
File Description: 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
Authors: Steven P. Fonseca
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: 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
File Description: application/pdf
-
15Academic Journal
Authors: Arun David Raghavan
Contributors: The Pennsylvania State University CiteSeerX Archives
Source: ftp://ftp.cs.iastate.edu/pub/techreports/TR00-12/TR.ps.gz
Subject Terms: 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
File Description: application/postscript
-
16Academic Journal
Authors: Nitin Sawhney, Chris Schmandt
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: 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
File Description: application/pdf
-
17Academic Journal
Authors: Jonathan S. Ostroff
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: 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
File Description: application/pdf
-
18Report
Authors: Ducournau, Roland, Morandat, Floréal, Privat, Jean
Contributors: 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
Source: https://hal-lirmm.ccsd.cnrs.fr/lirmm-00180214 ; RR 07021, 2007, pp.66.
Subject Terms: 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
Authors: Caminero Gil, Francisco Javier, Paterno, Fabio, Genaro Motti, Vivian, 5th ACM SIGCHI symposium on Engineering interactive computing systems
Contributors: Louvain School of Management - Operations and Information
Source: 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–340Subject Terms: 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
File Description: application/pdf
Access URL: 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
Authors: Pagano P., Castelli D.
Source: ISTI Technical reports, pp.1–15, 1999