Search results for "architecture specification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Jeffrey J. P. Tsai, Kuang Xu	Architecture Specification of Multimedia Software Systems. (PDF / PS)	ICMCS, Vol. 1	1999	DBLP DOI BibTeX RDF	architecture specification languages, Software architecture, multimedia systems, object-oriented paradigm
2	Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He	Mapping Software Architecture Specification to Rewriting Logic (Short Paper).	QSIC	2008	DBLP DOI BibTeX RDF	Software architecture specification, Petri net, rewriting logic, interleaving semantics
2	Shifeng Zhang	Integrating Non-Functional Properties to Architecture Specification and Analysis.	ITNG	2006	DBLP DOI BibTeX RDF
2	Luciana Spagnoli, Isabella Almeida, Karin Becker, Ana Paula Terra Blois, Cláudia Werner	Adaptation and Composition Within Component Architecture Specification.	ICSR	2006	DBLP DOI BibTeX RDF
2	Claus Pahl, Ronan Barrett	Layered Patterns in Modelling and Transformation of Service-Based Software Architectures.	EWSA	2006	DBLP DOI BibTeX RDF	Architecture Transformation, Web Services, Service-oriented Architecture, Service Processes, Architecture Specification
2	Xinping Zhu, Sharad Malik	Using a Communication Architecture Specification in an Application-Driven Retargetable Prototyping Platform for Multiprocessing.	DATE	2004	DBLP DOI BibTeX RDF
2	Yingxu Wang	Real-Time Process Algebra and Its Applications.	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF	descriptive mathematics, 3-D problems, static/dynamic behaviors specification, Software engineering, real-time systems, formal methods, algebraic specification, architecture specification
2	Jeffrey J. P. Tsai, Alan Liu, Eric Y. T. Juan, Avinash Sahay	Knowledge-Based Software Architectures: Acquisition, Specification, and Verification.	IEEE Trans. Knowl. Data Eng.	1999	DBLP DOI BibTeX RDF	architecture specification language, software architecture, formal verification, Knowledge-based system, knowledge acquisition, architecture style, compositional verification
2	Vassilka Kirova, Wilhelm Rossak	ASPECT - An Architecture SPECification Technique: A Report on Work in Progress.	ECBS	1996	DBLP DOI BibTeX RDF	Software architecture, complex systems, systems engineering
2	Don S. Batory, J. R. Barnett, J. F. Garza, K. P. Smith, K. Tsukuda, B. C. Twichell, T. E. Wise	GENESIS: An Extensible Database Management System.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	GENESIS, extensible database management system, customized database management systems, software tools, software tools, database management systems, software reusability, software reusability, architecture specification
1	Jan Kuper, Christiaan Baaij, Matthijs Kooijman	Exercises in Architecture Specification Using CLaSH.	FDL	2010	DBLP BibTeX RDF
1	Xiaofan Jiang, Stephen Dawson-Haggerty, David E. Culler	sMAP: simple monitoring and actuation profile.	IPSN	2010	DBLP DOI BibTeX RDF	sensor networks, wireless, energy, building
1	David Aveiro, António Rito Silva, José M. Tribolet	Towards a GOD-theory for organizational engineering: continuously modeling the continuous (re)generation, operation and deletion of the enterprise.	SAC	2010	DBLP DOI BibTeX RDF	organizational self-awareness, function, exception, organizational change, organizational engineering
1	Nicolai Kuntze, Jürgen Repp, Hervais Simo Fhom, Andreas Fuchs, Ine-Saf Benaissa	Final Architecture Specification of security, privacy, and incentive mechanisms	CoRR	2009	DBLP BibTeX RDF
1	Mikhail Auguston	Monterey Phoenix, or how to make software architecture executable.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	software architecture description language, behavior model
1	Antonia Albani, Sven Overhage, Dominik Birkmeier	Towards a Systematic Method for Identifying Business Components.	CBSE	2008	DBLP DOI BibTeX RDF
1	Xinwen Zhang, Onur Aciiçmez, Jean-Pierre Seifert	A trusted mobile phone reference architecturevia secure kernel.	STC	2007	DBLP DOI BibTeX RDF	trusted mobile computing, security architecture, isolation, SELinux, secure kernel
1	Edward K. Walters II, J. Eliot B. Moss, Trek S. Palmer, Timothy Richards, Charles C. Weems	Modeling Modern Micro-architectures using CASL.	IPDPS	2007	DBLP DOI BibTeX RDF
1	Ivan Kurtev	State of the Art of QVT: A Model Transformation Language Standard.	AGTIVE	2007	DBLP DOI BibTeX RDF	MDA, Model transformations, MDE, QVT
1	Timothy K. Shih, Freya H. Lin, Yue-Lin Du, Louis R. Chao, Won Kim	Extending CORDRA for Systematic Reuse.	ICWL	2007	DBLP DOI BibTeX RDF	CORDRA, Distributed System, Distance Learning, Reusability, SCORM, Learning Object Metadata
1	Stefan Farfeleder, Andreas Krall, Edwin Steiner, Florian Brandner	Effective compiler generation by architecture description.	LCTES	2006	DBLP DOI BibTeX RDF	code generation, architecture description language, compiler generation
1	Guadalupe Ortiz, Juan Hernández	Toward UML Profiles for Web Services and their Extra-Functional Properties.	ICWS	2006	DBLP DOI BibTeX RDF
1	Tao Zhang, Shi Ying, Sheng Cao, Xiangyang Jia	A Modeling Framework for Service-Oriented Architecture.	QSIC	2006	DBLP DOI BibTeX RDF	supply-chain management system, Service-oriented architecture, metamodeling
1	Antônio Tadeu A. Gomes, Thaís Vasconcelos Batista, Ackbar Joolia, Geoff Coulson	Architecting Dynamic Reconfiguration in Dependable Systems.	WADS	2006	DBLP DOI BibTeX RDF	specification-to-deployment environments, dynamic reconfiguration, dependable systems
1	Rubén Peredo Valderrama, Leandro Balladares Ocaña, Iván Peredo	A Semantic Web Application to Automate the Construction of Didactic Material for Web-Based Education System.	WISE Workshops	2006	DBLP DOI BibTeX RDF
1	Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas, Tony Tseng	Improving system dependability by enforcing architectural intent.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF
1	Henry Muccini, Marcio S. Dias, Debra J. Richardson	Reasoning About Software Architecture-Based Regression Testing Through a Case Study.	COMPSAC	2005	DBLP DOI BibTeX RDF
1	Raymond A. Paul	Tomorrow's Needs - Yesterday's Technology: DOD's Architectural Dilemma and Plan for Resolution.	HASE	2005	DBLP DOI BibTeX RDF
1	Li Yang, Raimund K. Ege, Huiqun Yu	Mediation Systems Modeling and Verification.	ICECCS	2005	DBLP DOI BibTeX RDF	Modeling, verification, mediation systems
1	Jun Kong, Kang Zhang, Jing Dong, Guang-Lei Song	A Generative Style-driven Framework for Software Architecture Design.	SEW	2005	DBLP DOI BibTeX RDF
1	Vincenzo Grassi, Raffaela Mirandola, Antonino Sabetta	An XML-Based Language to Support Performance and Reliability Modeling and Analysis in Software Architectures.	QoSA/SOQUA	2005	DBLP DOI BibTeX RDF
1	Cristina Miyata, Tereza Cristina M. B. Carvalho, Stewart Russell, Akira Kawaguchi	Wireless Telemedicine and Service Level Management Architecture Specification.	ICETE	2004	DBLP BibTeX RDF
1	Michael Cebulla	Modeling sociotechnical specifics using architectural concepts.	SAC	2004	DBLP DOI BibTeX RDF	approaches to developing architectures, evaluation of architectures, architecture specification, domain-specific software architectures
1	Pablo Viana, Edna Barros, Sandro Rigo, Rodolfo Azevedo, Guido Araujo	Modeling and Simulating Memory Hierarchies in a Platform-Based Design Methodology.	DATE	2004	DBLP DOI BibTeX RDF
1	Hugo Vidal Teixeira, Regina M. M. Braga, Cláudia Maria Lima Werner	Model-Based Generation of Business Component Architectures.	EUROMICRO	2004	DBLP DOI BibTeX RDF
1	Benjamin A. Allan, Sophia Lefantzi, Jaideep Ray	ODEPACK++: Refactoring the LSODE Fortran Library for Use in the CCA High Performance Component Software Architecture.	HIPS	2004	DBLP DOI BibTeX RDF	parallel programming, object oriented, C++, FORTRAN, interface design, differential equations, software decomposition, common component architecture
1	Apostolos Zarras, Panos Vassiliadis, Valérie Issarny	Model-Driven Dependability Analysis of WebServices.	CoopIS/DOA/ODBASE	2004	DBLP DOI BibTeX RDF
1	Seongkee Lee, Taiyun Kim	Architecture Specification for Design of Agent-Based System in Domain View.	RSFDGrC	2003	DBLP DOI BibTeX RDF
1	Lars Grunske	Application of Behavior-Preserving Transformations to Improve Non-Functional Properties of an Architecture Specification.	SNPD	2003	DBLP BibTeX RDF
1	Teresa Nascimento, Thaís Vasconcelos Batista, Nélio Cacho	TUPI: Transformation from PIM to IDL.	CoopIS/DOA/ODBASE	2003	DBLP DOI BibTeX RDF
1	Sharareh Afsharian, Giuli Matteo, Tarani Gianluca	Quantitative analysis for telecom/datacom software architecture.	Workshop on Software and Performance	2002	DBLP DOI BibTeX RDF	performance, software architecture, measurements, metrics, telecommunication, ADL, maintainability, domain
1	Pengcheng Zhang, Renhou Li	Design and Implementation of an Intelligent Cooperative Design System.	CSCWD	2001	DBLP DOI BibTeX RDF
1	K. Suzanne Barber, Thomas J. Graser, Jim Holt	Providing Early Feedback in the Development Cycle Through Automated Application of Model Checking to Software Architectures.	ASE	2001	DBLP DOI BibTeX RDF
1	Clemens Fischer, Ernst-Rüdiger Olderog, Heike Wehrheim	A CSP View on UML-RT Structure Diagrams.	FASE	2001	DBLP DOI BibTeX RDF
1	Mieczyslaw M. Kokar, Kevin M. Passino, Kenneth Baclawski, Jeffrey E. Smith	Mapping an Application to a Control Architecture: Specification of the Problem.	IWSAS	2000	DBLP DOI BibTeX RDF
1	Ed F. Deprettere, Edwin Rijpkema, Paul Lieverse, Bart Kienhuis	High Level Modeling for Parallel Executions of Nested Loop Algorithms.	ASAP	2000	DBLP DOI BibTeX RDF
1	Tzi-cker Chiueh, Harish Sankaran, Anindya Neogi	Spout: A Transparent Distributed Execution Engine for Java Applets.	ICDCS	2000	DBLP DOI BibTeX RDF
1	David Thompson	IEEE 1394: Changing the Way We Do Multimedia Communications.	IEEE MultiMedia	2000	DBLP DOI BibTeX RDF
1	Jiacun Wang, Xudong He, Yi Deng	Introducing software architecture specification and analysis in SAM through an example.	Information & Software Technology	1999	DBLP DOI BibTeX RDF
1	Mehmet Aksit, Bedir Tekinerdogan	Evaluating Architecture Implementation Alternatives Bsed on Adaptability Concerns.	ISORC	1999	DBLP DOI BibTeX RDF
1	Michael Goedicke, Torsten Meyer	Web-Based Tool Support for Dynamic Management of Distribution and Parallelism in Integrating Architecture Design and Performance Evaluation. (PDF / PS)	PDSE	1999	DBLP DOI BibTeX RDF	WWW tool support, dynamic semantic-directed system configuration, performance evaluation, software architecture
1	Premysl Brada	Component Change and Version Identification in SOFA.	SOFSEM	1999	DBLP DOI BibTeX RDF
1	Jeffrey J. P. Tsai, A. Prasad Sistla, Avinash Sahay, Raymond A. Paul	Incremental Verification of Architecture Specification Language for Real-Time Systems.	International Journal of Software Engineering and Knowledge Engineering	1998	DBLP DOI BibTeX RDF
1	Jean-Claude Derniame, Pierre Fernand Tiako	PCIS-II-Project: Process Component Infrastructure Architecture Specification.	EWSPT	1998	DBLP DOI BibTeX RDF
1	J. Shu, Thomas Charles Wilson, Dilip K. Banerji	Instruction-Set Matching and GA-based Selection for Embedded-Processor Code Generation.	VLSI Design	1996	DBLP DOI BibTeX RDF
1	Anand Chavan, Shiu-Kai Chin, Shahid Ikram, Jang Dae Kim, Juin-Yeu Zu	Extending VLSI design with higher-order logic. (PDF / PS)	ICCD	1995	DBLP DOI BibTeX RDF	Cambridge Higher-Order Logic theorem-prover, microprogram sequencer, Am2910, VLSI, formal verification, formal verification, logic testing, theorem proving, logic design, logic CAD, VLSI design, higher-order logic, theorem-prover, design environment, instruction-set architecture, VLSI CAD
1	Pam Binns, Steve Vestal	Architecture specifications for complex real-time dependable systems.	ICECCS	1995	DBLP DOI BibTeX RDF	complex real-time dependable systems, automated analytic modeling, automated system implementation, real-time systems, formal specification, program verification, specification languages, specification languages, formal models, program correctness, architecture specifications
1	Vassilka Kirova, Wilhelm Rossak	Representing architectural designs: a central issue in the development of complex systems.	ICECCS	1995	DBLP DOI BibTeX RDF	architectural designs representation, software design aspect, high level system design, d-ASPECT, software architecture, software architectures, formal specification, software metrics, systems analysis, system complexity, complex systems development
1	Stephan Kindermann	Flexible Program and Architecture Specification for Massively Parallel Systems.	CONPAR	1994	DBLP DOI BibTeX RDF	program transformation, skeletons, algebraic specification, massively parallel systems, SIMD architectures
1	James M. Purtilo	The POLYLITH Software Bus.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	architecture specification
1	Branislav Meandzija	Archetype: A Unified Method for the Design and Implementation of Protocol Architectures.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	data-driven concurrent execution model, abstract protocol architecture specifications, performance constraints, X.25-level 3-like protocol, protocols, data structures, data structures, natural languages, automatic programming, automatic programming, protocol design, automated design, multiprocessing programs, simulation languages, protocol architectures, specification technique, Archetype
1	L. Aguilar, J. J. Garcia-Luna-Aceves, Douglas B. Moran, Earl Craighill, R. Brungardt	An architecture for a multimedia teleconferencing system.	SIGCOMM	1986	DBLP DOI BibTeX RDF