The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase formal basis (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1964-1990 (19) 1991-1994 (18) 1995-1996 (21) 1997-1998 (16) 1999-2000 (21) 2001-2002 (21) 2003 (15) 2004-2005 (30) 2006-2007 (23) 2008-2009 (24) 2010-2021 (16) 2022 (2)
Publication types (Num. hits)
article(49) incollection(3) inproceedings(174)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 276 occurrences of 232 keywords

Results
Found 226 publication records. Showing 226 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
24David Guaspari, Carla Marceau, Wolfgang Polak Formal Verification of Ada Programs. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Penelope verification editor, formal basis, interactive development, logical soundness, interface languages, software engineering, Ada, program verification, correctness proof, prototype system, predicate transformers, Ada programs
24Robert Allen, David Garlan A Formal Basis for Architectural Connection. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF WRIGHT, module interconnection, model-checking, formal models, software analysis
22Gerald M. Karam, Raymond J. A. Buhr Temporal Logic-Based Deadlock Analysis For Ada. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF temporal logic-based specification language, deadlock analyzer, Timebench, concurrent system-design environment, COL, linear-time temporal logic, formal basis, axiomatic reasoning, deadlock analysis tool, reasoning power, Ada designs, systemwide deadlock-free, deadlock algorithm, finite systems, worst-case computational complexity, gas station, layered communications system, computational complexity, Ada, logic programming, temporal logic, Prolog, specification language, specification languages, inference mechanisms, system recovery, theorem prover, readers, dining philosophers, writers
22J. C. Huang 0001 State Constraints and Pathwise Decomposition of Programs. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF state constraint, program pathwise, subprograms, execution paths, formal basis, pathwise decomposition, software engineering, computational complexity, verification, testing, program testing, control flow, programming construct, program simplification
21Clemens Fischer, Heike Wehrheim Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method. Search on Bibsonomy Bull. EATCS The full citation details ... 2000 DBLP  BibTeX  RDF
21Daniel M. Berry Towards a Formal Basis for the Formal Development Method and the Ina Jo Specification Language. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
19Wing Lok Yeung A Formal Basis for Cross-Checking ebXML BPSS Choreography and Web Service Orchestration. Search on Bibsonomy APSCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
17Giuseppe Di Battista, Maurizio Lenzerini Deductive Entity-Relationship Modeling. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF deductive entity relationship modelling, IS-A, disjointness relations, mandatory participation, formal basis, computational complexity, semantics, conceptual modeling, deductive databases, first-order logic, inference mechanisms, assertions, classes, entity-relationship modelling, interdependencies, polynomial time complexity, inference algorithm
15Janis Dähne, Marcus Pöckelmann, Jörg Ritter 0002, Paul Molitor Putting collation of text witnesses on a formal basis. Search on Bibsonomy Digit. Scholarsh. Humanit. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
15Milos Stanojevic, Mark Steedman Erratum for "Formal Basis of a Language Universal". Search on Bibsonomy Comput. Linguistics The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
15Briti Gangopadhyay, Somnath Hazra, Pallab Dasgupta Semi-lexical languages: a formal basis for using domain knowledge to resolve ambiguities in deep-learning based computer vision. Search on Bibsonomy Pattern Recognit. Lett. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
15Milos Stanojevic, Mark Steedman Formal Basis of a Language Universal. Search on Bibsonomy Comput. Linguistics The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
15Briti Gangopadhyay, Somnath Hazra, Pallab Dasgupta Semi-Lexical Languages - A Formal Basis for Unifying Machine Learning and Symbolic Reasoning in Computer Vision. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
15Rick Gilsing, Anna Wilbik, Paul Grefen, Oktay Türetken, Baris Özkan A Formal Basis for Business Model Evaluation with Linguistic Summaries - (Work-in-Progress Paper). Search on Bibsonomy BPMDS/EMMSAD@CAiSE The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
15Ahmed Khoumsi, Mohammed Erradi, Wadie Krombi A formal basis for the design and analysis of firewall security policies. Search on Bibsonomy J. King Saud Univ. Comput. Inf. Sci. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
15Sung-Shik T. Q. Jongmans, Farhad Arbab Global consensus through local synchronization: A formal basis for partially-distributed coordination. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
15Marija Slavkovik 0001, Louise A. Dennis, Michael Fisher 0001 An abstract formal basis for digital crowds. Search on Bibsonomy Distributed Parallel Databases The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
15Kanstantsin Miatliuk Conceptual Model in the Formal Basis of Hierarchical Systems for Mechatronic Design. Search on Bibsonomy Cybern. Syst. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
15Ewen Denney, Ganesh J. Pai Towards a Formal Basis for Modular Safety Cases. Search on Bibsonomy SAFECOMP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
15Marija Slavkovik 0001, Louise A. Dennis, Michael Fisher 0001 An Abstract Formal Basis for Digital Crowds. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
15Amel Bennaceur, Valérie Issarny Layered Connectors - Revisiting the Formal Basis of Architectural Connection for Complex Distributed Systems. Search on Bibsonomy ECSA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
15Ewen Denney, Ganesh Pai A Formal Basis for Safety Case Patterns. Search on Bibsonomy SAFECOMP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
15Ugo Montanari A Unifying Formal Basis for the Sensoria Approach: A White Paper. Search on Bibsonomy Results of the SENSORIA Project The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
15Margareta Segerståhl Systems Definition of an Organism - A Formal Basis for Modeling Life. Search on Bibsonomy ALIFE The full citation details ... 2010 DBLP  BibTeX  RDF
15Vitus S. W. Lam On pi-Calculus Semantics as a Formal Basis for UML Activity Diagrams. Search on Bibsonomy Int. J. Softw. Eng. Knowl. Eng. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
15Evgeniy Grigoriev Why the relational data model can be considered as a formal basis for group operations in object-oriented systems Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
15Simon N. Foley, William M. Fitzgerald, Stefano Bistarelli, Barry O'Sullivan, Mícheál Ó Foghlú Principles of Secure Network Configuration: Towards a Formal Basis for Self-configuration. Search on Bibsonomy IPOM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
15Abd-El-Kader Sahraoui Requirements Traceability Issues: Generic Model, Methodology And Formal Basis. Search on Bibsonomy Int. J. Inf. Technol. Decis. Mak. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
15James C. Spall, Stacy D. Hill, David R. Stark Formal basis for algorithm comparisons in stochastic optimization. Search on Bibsonomy ACC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
15Sonja Zillner, Werner Winiwarter EMMA - A Formal Basis for Querying Enhanced Multimedia Meta Objects. Search on Bibsonomy J. Data Semantics The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
15Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto A Formal Basis for Reasoning on Programmable QoS. Search on Bibsonomy Verification: Theory and Practice The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
15Luke Wildman A Formal Basis for a Program Compilation Proof Tool. Search on Bibsonomy FME The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
15Cliff B. Jones A Formal Basis for Some Dependability Notions. Search on Bibsonomy 10th Anniversary Colloquium of UNU/IIST The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
15Vesper Owei, Shamkant B. Navathe A formal basis for an abbreviated concept-based query language. Search on Bibsonomy Data Knowl. Eng. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
15David Lorge Parnas Requirements Documentation: Why a Formal Basis is Essential. Search on Bibsonomy ICRE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
15Alejandra Cechich, Richard Moore 0001 A Formal Basis for Object-Oriented Patterns. Search on Bibsonomy APSEC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
15Aditya Ghose A Formal Basis for Consistency, Evolution and Rationale Management in Requirements Engineering. Search on Bibsonomy ICTAI The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
15Robert Allen, David Garlan Errata: A Formal Basis for Architectural Connection. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF WRIGHT, module interconnection, model-checking, formal models, software analysis
15Paolo Ciancarini, Paolo Ciaccia, Wilma Penzo Reusing Software Architectures: A Formal Basis. Search on Bibsonomy PDSE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
15Gerald C. Gannod, Betty H. C. Cheng Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
15Margarida F. Jacome, Stephen W. Director A formal basis for design process planning and management. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
15Anthony N. Clark Formal Basis for the Refinement of Rule Based Transition Systems. Search on Bibsonomy J. Funct. Program. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
15Si Pan, R. Geoff Dromey A Formal Basis for Removing Goto Statements. Search on Bibsonomy Comput. J. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
15Love Ekenberg, Paul Johannesson A Formal Basis for Dynamic Schema Integration. Search on Bibsonomy ER The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
15James Branwer, James Vorbach A Formal Basis for Schema Analysis of Semantic Database Update Semantics. Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
15Gerald C. Gannod, Betty H. C. Cheng Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering. Search on Bibsonomy WCRE The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
15S. Rajan, P. Venkat Rangan, Harrick M. Vin A Formal Basis for Structured Multimedia Collaborations. Search on Bibsonomy ICMCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
15Mario Südholt Data Distribution Algebras - A Formal Basis for Programming Using Skeletons. Search on Bibsonomy PROCOMET The full citation details ... 1994 DBLP  BibTeX  RDF
15Margarida F. Jacome, Stephen W. Director A formal basis for design process planning and management. Search on Bibsonomy ICCAD The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
15Anton P. Karadimce, Susan Darling Urban Conditional Term Rewriting as a Formal Basis for Active Database Rules. Search on Bibsonomy RIDE-ADS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
15C. S. Tang A unified formal basis for the CASE tools system. Search on Bibsonomy J. Syst. Integr. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Temporal logic language, software engineering, verification, specification, rapid prototyping, formal language, CASE tools, graphic languages
15Robert Milne The Formal Basis for the RAISE Specification Language. Search on Bibsonomy Semantics of Specification Languages The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
15Charles Dierbach, Daniel L. Chester A Formal Basis for Analogical Reasoning. Search on Bibsonomy KR The full citation details ... 1991 DBLP  BibTeX  RDF
15Jan Van den Bussche A formal basis for extending SQL to object-oriented databases. Search on Bibsonomy Bull. EATCS The full citation details ... 1990 DBLP  BibTeX  RDF
15Yumi Iwasaki, Inderpal S. Bhandari Formal Basis for Commonsense Abstraction of Dynamic Systems. Search on Bibsonomy AAAI The full citation details ... 1988 DBLP  BibTeX  RDF
15Horst F. Wedde A Formal Basis for Correct Implementations of Distributed Programming Languages. Search on Bibsonomy ICDCS The full citation details ... 1985 DBLP  BibTeX  RDF
15Giovanni Guida, Giancarlo Mauri A Formal Basis for Performance Evaluation of Natural Language Understanding Systems. Search on Bibsonomy Comput. Linguistics The full citation details ... 1984 DBLP  BibTeX  RDF
15Peter E. Hart, Nils J. Nilsson, Bertram Raphael Correction to "A Formal Basis for the Heuristic Determination of Minimum Cost Paths". Search on Bibsonomy SIGART Newsl. The full citation details ... 1972 DBLP  DOI  BibTeX  RDF
15Peter E. Hart, Nils J. Nilsson, Bertram Raphael A Formal Basis for the Heuristic Determination of Minimum Cost Paths. Search on Bibsonomy IEEE Trans. Syst. Sci. Cybern. The full citation details ... 1968 DBLP  DOI  BibTeX  RDF
14Gopal Gupta 0001, Hai-Feng Guo, Arthur I. Karshmer, Enrico Pontelli, Juan Raymundo Iglesias, Desh Ranjan, Brook Milligan, Nayana Datta, Omar El-Khatib, Mohammed Noamany, Xinhong Zhou Semantics-Based Filtering: Logic Programming's Killer App? Search on Bibsonomy PADL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
12Dong-Hong Xu, Yong Qi, Di Hou, Gong-Zhen Wang, Ying Chen 0004 An Improved Calculus for Secure Dynamic Services Composition. Search on Bibsonomy COMPSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Global calculus, Web services composition, Orchestration, Choreography, Spi calculus
12Marcos André Gonçalves, Edward A. Fox, Layne T. Watson, Neill A. Kipp Streams, structures, spaces, scenarios, societies (5s): A formal model for digital libraries. Search on Bibsonomy ACM Trans. Inf. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF applications., taxonomy, definitions, foundations
12Maren Krone, Mojgan Kowsari, Peter Hartel, Grit Denker, Hans-Dieter Ehrich Developing an Information System Using TROLL: An Application Field Study. Search on Bibsonomy CAiSE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF formal method, information system, requirements engineering, case study, information modelling, object oriented specification
12Colin Boyd A Formal Framework for Authentication. Search on Bibsonomy ESORICS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF security standards, formal models, Authentication protocols
12Simon Pickin 0001, Jean-Marc Jézéquel Using UML Sequence Diagrams as the Basis for a Formal Test Description Language. Search on Bibsonomy IFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
11Fausto Rabitti, Darrell Woelk, Won Kim 0001 A Model of Authorization for Object-Oriented and Semantic Databases. Search on Bibsonomy EDBT The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
11Michael Hauhs, Baltasar Trancón y Widemann, Oliver Archner Theoretical and Practical Challenges of Integrating Ecosystem Data. Search on Bibsonomy OTM Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
9Viara Popova, Alexei Sharpanskykh A Formal Framework for Modeling and Analysis of Organizations. Search on Bibsonomy Situational Method Engineering The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
9Lei Wang, Padmanabhan Krishnan A Framework for Checking Behavioral Compatibility for Component Selection. Search on Bibsonomy ASWEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF light weight formal methods, tool support, interface specification, component selection
9Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang 0001, Wei Dong 0006 Improvements Towards Formalizing UML State Diagrams in CSP. Search on Bibsonomy APSEC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
9Dianxiang Xu, Kendall E. Nygard A threat-driven approach to modeling and verifying secure software. Search on Bibsonomy ASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF aspect-oriented Petri nets, verification, Petri nets, aspect-oriented software development, software security, threat modeling
9Jessica Chen, Xiaoshan Zhao Formal Models for Web Navigations with Session Control and Browser Cache. Search on Bibsonomy ICFEM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Model Checking, Operational Semantics, Web Caching, Specification-based Testing, Labelling Transition Systems, Web Navigation
9Ratan Nalumasu, Rajnish Ghughal, Abdelillah Mokkedem, Ganesh Gopalakrishnan The 'Test Model-Checking' Approach to the Verification of Formal Memory Models of Multiprocessors. Search on Bibsonomy CAV The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
9Oscar Pastor 0001, Isidro Ramos, José Hilario Canós-Cerdá OASIS v2: A Class Definition Language Search on Bibsonomy DEXA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
9Uwe Gläser Systems Level Specification and Modeling of Reactive Systems: Concepts, Methods, and Tools. Search on Bibsonomy EUROCAST The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
9Ramesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan An object-oriented modeling of real-time robotic assembly system. Search on Bibsonomy ICECCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF maintenance engineering, industrial manipulators, real-time robotic assembly system, object-oriented-formal modeling, independent components, modular components, real-time systems, formal verification, formal verification, validation, system design, object-oriented methods, system model, manipulators, assembling, reusable components, system requirements, system maintenance, control system CAD, control engineering
9Shiu-Kai Chin, Edward P. Stabler Synthesis of arithmetic hardware using hardware metafunctions. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
9Patrick Cousot, Radhia Cousot Systematic Design of Program Analysis Frameworks. Search on Bibsonomy POPL The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
9Gustavo Alonso Challenges and Opportunities for Formal Specifications in Service Oriented Architectures. Search on Bibsonomy Petri Nets The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Web Services, Service Oriented Architectures, Workflow, Business Processes, Declarative Languages, Multi-tier architectures
9Jörg Fischer 0002, Stefan Conrad 0001 Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes. Search on Bibsonomy IFM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF hardware and software design, relational semantics, formal semantics, dynamic logic, timing diagrams, integrated verification, causal dependencies
9Janice I. Glasgow, Michael A. Jenkins Array theory, logic and the Nial language. Search on Bibsonomy ICCL The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
7Sabine Kuske, Martin Gogolla, Hans-Jörg Kreowski, Paul Ziemann Towards an integrated graph-based semantics for UML. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Keyword UML diagram, Formal semantics, Graph transformation
7Dirk Fahland Oclets - Scenario-Based Modeling with Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Petri nets, scenarios, operational semantics, partial order
7John D. Lowrance, Thomas D. Garvey, Thomas M. Strat A Framework for Evidential-Reasoning Systems. Search on Bibsonomy Classic Works of the Dempster-Shafer Theory of Belief Functions The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
7Sören Blom, Matthias Book, Volker Gruhn Executable Semantics of Recursively Nestable Dialog Flow Specifications for Web Applications. Search on Bibsonomy ICWE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
7Charles C. Zhang, Marianne Winslett, Carl A. Gunter On the Safety and Efficiency of Firewall Policy Deployment. Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
7José M. Alvarez, Pedro de la Cámara, Jesús Martínez, Pedro Merino 0001, Francisco C. Perez, Victoria Morillo An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing. Search on Bibsonomy ISoLA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
7Lei Wang, Padmanabhan Krishnan An Approach to Provisioning E-Commerce Applications with Commercial Components. Search on Bibsonomy ICEBE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
7Michal Smialek, Jacek Bojarski, Wiktor Nowakowski, Tomasz Straszak Scenario Construction Tool Based on Extended UML Metamodel. Search on Bibsonomy MoDELS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
7Zhenhua Yu 0001, Yuanli Cai, Ruifeng Wang, Jiuqiang Han pi-Net ADL: An Architecture Description Language for Multi-agent Systems. Search on Bibsonomy ICIC (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
7Jun Kong, Kang Zhang 0001, Jing Dong, Guang-Lei Song A Generative Style-driven Framework for Software Architecture Design. Search on Bibsonomy SEW The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
7Kaiyu Wan, Vasu S. Alagar, Joey Paquet An Architecture for Developing Context-Aware Systems. Search on Bibsonomy MRC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF context-awareness, context, components, co-design
7Urs Anliker, Jan Beutel, Matthias Dyer, Rolf Enzler, Paul Lukowicz, Lothar Thiele, Gerhard Tröster A Systematic Approach to the Design of Distributed Wearable Systems. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
7Rebeca P. Díaz Redondo, Martín López Nores, José Juan Pazos-Arias, Ana Fernández Vilas, Jorge García Duque, Alberto Gil-Solla, Ana Belén Barragáns-Martínez, Manuel Ramos Cabrer Supporting Software Variability by Reusing Generic Incomplete Models at the Requirements Specification Stage. Search on Bibsonomy ICSR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
7Chun Ruan, Vijay Varadharajan A formal graph based framework for supporting authorization delegations and conflict resolutions. Search on Bibsonomy Int. J. Inf. Sec. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Access control, Authorization, Conflict resolution
7Matthias Beyer, Winfried Dulz Scenario-Based Statistical Testing of Quality of Service Requirements. Search on Bibsonomy Scenarios: Models, Transformations and Tools The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Markov Chain Usage Model, QoS, Software Testing, Automatic Test Generation, TTCN-3, MSC, UML Sequence Diagram
7Arnaud Gotlieb Exploiting Symmetries to Test Programs. Search on Bibsonomy ISSRE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
7Antony Courtney Functionally Modeled User Interfaces. Search on Bibsonomy DSV-IS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
7Jürgen Dingel A Refinement Calculus for Shared-Variable Parallel and Distributed Programming. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Assumption-commitment reasoning, Formal program development, Parallel programming, Program transformation, Refinement, Refinement calculus, Trace semantics, Systematic programming
7Jessica Chen Formal Modelling of Java GUI Event Handling. Search on Bibsonomy ICFEM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Java Swing and AWT, Model Checking, Concurrency, Nondeterminism, Labelled Transition Systems
Displaying result #1 - #100 of 226 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license