|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 209 occurrences of 166 keywords
|
|
|
Results
Found 161 publication records. Showing 161 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
6 | Yu-Chin Cheng, Chien-Hung Chen, Chung-Chih Chiang, Jun-Wei Wang 0002, Chi-Sung Laih |
Generating Attack Scenarios with Causal Relationship. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GrC ![In: 2007 IEEE International Conference on Granular Computing, GrC 2007, San Jose, California, USA, 2-4 November 2007, pp. 368-373, 2007, IEEE Computer Society, 0-7695-3032-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
6 | Saqib Ali, Ben Soh, Torab Torabi |
A novel approach toward integration of rules into business processes using an agent-oriented framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Informatics ![In: IEEE Trans. Ind. Informatics 2(3), pp. 145-154, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
6 | Rajeev Alur, Swarat Chaudhuri, P. Madhusudan |
A fixpoint calculus for local and global program flows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006, pp. 153-165, 2006, ACM, 1-59593-027-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
infinite-state, model-checking, verification, games, specification, logic, ?-calculus, pushdown systems |
6 | Thi-Huong-Giang Vu, Christine Collet, Genoveva Vargas-Solar |
Defining and Modelling Service-Based Coordinated Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (1) ![In: On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I, pp. 391-407, 2006, Springer, 3-540-48287-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
6 | Yang Wang, Masahito Hirakawa |
Video editing based on object movement and camera motion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVI ![In: Proceedings of the working conference on Advanced visual interfaces, AVI 2006, Venezia, Italy, May 23-26, 2006, pp. 108-111, 2006, ACM Press, 1-59593-353-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
multimedia computing, video editing, camera motion, moving object tracking |
6 | Anna Derezinska |
Advanced mutation operators applicable in C# programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SET ![In: Software Engineering Techniques: Design for Quality, SET 2006, October 17-20, 2006, Warsaw, Poland, pp. 283-288, 2006, Springer, 978-0-387-39387-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
6 | Kristina Winbladh, Thomas A. Alspaugh, Hadar Ziv, Debra J. Richardson |
Architecture-based testing using goals and plans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ROSATEA ![In: Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2006), ROSATEA 2006, Portland, Maine, USA, July 17-20, 2006, pp. 64-68, 2006, ACM, 1-59593-459-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
architecture-based testing, goal-driven software development, specification-based testing |
6 | Peter Habermehl, Radu Iosif, Tomás Vojnar |
Automata-Based Verification of Programs with Tree Updates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings, pp. 350-364, 2006, Springer, 3-540-33056-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
6 | Gregor Engels, Baris Güldali, Marc Lohmann |
Towards Model-Driven Unit Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Workshops) ![In: Models in Software Engineering, Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers, pp. 182-192, 2006, Springer, 978-3-540-69488-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
visual contracts, model checking, test case generation, Design by Contract |
6 | Marc Lohmann, Gregor Engels, Stefan Sauer 0001 |
Model-driven Monitoring: Generating Assertions from Visual Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, Japan, pp. 355-356, 2006, IEEE Computer Society, 0-7695-2579-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
6 | Thi-Huong-Giang Vu |
Towards a Secure Service Coordination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT Workshops ![In: Current Trends in Database Technology - EDBT 2006, EDBT 2006 Workshops PhD, DataX, IIDB, IIHA, ICSNW, QLQP, PIM, PaRMA, and Reactivity on the Web, Munich, Germany, March 26-31, 2006, Revised Selected Papers, pp. 105-114, 2006, Springer, 3-540-46788-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
6 | Dana N. Xu |
Extended static checking for haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2006, Portland, Oregon, USA, September 17, 2006, pp. 48-59, 2006, ACM, 1-59593-489-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
counterexample guided unrolling, pre/postcondition, symbolic simplification |
6 | Harry M. Sneed |
Selective Regression Testing of a Host to DotNet Migration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 22nd IEEE International Conference on Software Maintenance (ICSM 2006), 24-27 September 2006, Philadelphia, Pennsylvania, USA, pp. 104-112, 2006, IEEE Computer Society, 0-7695-2354-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
DotNet, SQLServer, XML, Regression Testing, Assertions, File Comparison |
6 | Vinay Kulkarni, Sreedhar Reddy |
A Model-Driven Architectural Framework for Integration-Capable Enterprise Application Product Lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMDA-FA ![In: Model Driven Architecture - Foundations and Applications, 2nd European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings, pp. 1-12, 2006, Springer, 3-540-35909-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
6 | H. Iván Piza, Fabiel Zúñiga, Félix F. Ramos 0001 |
Using a Declarative Language to Describe the Interactions in Virtual Scenes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS (2) ![In: 11th International Conference on Parallel and Distributed Systems, ICPADS 2005, Fuduoka, Japan, July 20-22, 2005, pp. 224-229, 2005, IEEE Computer Society, 0-7695-2281-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
6 | Simone A. Ludwig, William Naylor, Omer F. Rana, Julian A. Padget |
Matchmaking of Mathematical Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPAM ![In: Parallel Processing and Applied Mathematics, 6th International Conference, PPAM 2005, Poznan, Poland, September 11-14, 2005, Revised Selected Papers, pp. 809-816, 2005, Springer, 3-540-34141-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
6 | Dae-Kyoo Kim |
Evaluating Conformance of UML Models to Design Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China, pp. 30-31, 2005, IEEE Computer Society, 0-7695-2284-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
pattern specification, pattern tools, UML, Design pattern, object-oriented model |
6 | Simone A. Ludwig, Omer F. Rana, William Naylor, Julian A. Padget |
Mathematical matchmaker for numeric and symbolic services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands, pp. 133-134, 2005, ACM, 1-59593-094-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
6 | Simone A. Ludwig, Omer F. Rana, William Naylor, Julian A. Padget |
Agent-based matchmaking of mathematical web services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands, pp. 1277-1278, 2005, ACM, 1-59593-094-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
6 | Sarfraz Khurshid, Darko Marinov |
TestEra: Specification-Based Testing of Java Programs Using SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 11(4), pp. 403-434, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Java testing, TestEra, SAT enumeration, software testing, specification-based testing, Alloy, automated test generation |
6 | Mark Denford, John Leaney, Tim O'Neill |
Non-Functional Refinement of Computer Based Systems Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 24-27 May 2004, Brno, Czech Republic, pp. 168-177, 2004, IEEE Computer Society, 0-7695-2125-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
6 | Vladimir Levin |
Static driver verifier, a formal verification tool for Windows device drivers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 23-25 June 2004, San Diego, California, USA, Proceedings, pp. 151, 2004, IEEE Computer Society, 0-7803-8509-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
6 | Jean-Christophe Filliâtre, Claude Marché |
Multi-prover Verification of C Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings, pp. 15-29, 2004, Springer, 3-540-23841-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
pointer programs, formal verification and proof, Hoare logic, C programming language |
6 | Monika Solanki, Antonio Cau, Hussein Zedan |
Augmenting semantic web service descriptions with compositional specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 13th international conference on World Wide Web, WWW 2004, New York, NY, USA, May 17-20, 2004, pp. 544-552, 2004, ACM, 1-58113-844-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
owl-s, web services, semantic web services, commitment, assumption, swrl, interval temporal logics, owl |
6 | Marius Bozga, Radu Iosif, Yassine Lakhnech |
On Logics of Aliasing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings, pp. 344-360, 2004, Springer, 3-540-22791-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
6 | Thomas Fahringer, Sabri Pllana, Alex Villazón |
A-GWL: Abstract Grid Workflow Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science ![In: Computational Science - ICCS 2004, 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part III, pp. 42-49, 2004, Springer, 3-540-22116-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
6 | Rajeev Alur, P. Madhusudan |
Visibly pushdown languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 36th Annual ACM Symposium on Theory of Computing, Chicago, IL, USA, June 13-16, 2004, pp. 202-211, 2004, ACM, 1-58113-852-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
?-languages, verification, logic, context-free languages, pushdown automata, regular tree languages |
6 | Monika Solanki, Antonio Cau, Hussein Zedan |
Introducing Compositionality in Web Service Descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTDCS ![In: 10th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2004), 26-28 May 2004, Suzhou, China, pp. 14-20, 2004, IEEE Computer Society, 0-7695-2118-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
6 | Hubert Baumeister, Alexander Knapp, Martin Wirsing |
Property-Driven Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China, pp. 96-102, 2004, IEEE Computer Society, 0-7695-2222-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
6 | Yves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron |
Filtering TOBIAS Combinatorial Test Suites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29 - april 2, 2004, Proceedings, pp. 281-294, 2004, Springer, 3-540-21305-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
VDM, combinatorial testing, JML, model-based specifications |
6 | Daniel Moldt, Jan Ortmann |
DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29 - april 2, 2004, Proceedings, pp. 209-213, 2004, Springer, 3-540-21305-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
web service, workflow, business process, high-level Petri nets, Renew, reference nets, nets within nets, DAML-S, process ontology |
6 | Isabel Nunes |
An OCL Extension for Low-Coupling Preserving Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML» 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings, pp. 310-324, 2003, Springer, 3-540-20243-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
6 | David Hemer |
Specification matching of state-based modular components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 10-12 December 2003, Chiang Mai, Thailand, pp. 446-455, 2003, IEEE Computer Society, 0-7695-2011-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Retrieval, Component-based development, Specification matching |
6 | Donald F. Ross |
Teaching Contract Programming Concepts to Future Software Engineers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA, pp. 647, 2003, IEEE Computer Society, 0-7695-1877-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
6 | Roshanak Roshandel, Nenad Medvidovic |
Multi-view Software Component Modeling for Dependability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADS ![In: Architecting Dependable Systems II - [the book is a result of the ICSE 2003 Workshop on Software Architectures for Dependable Systems], pp. 286-306, 2003, Springer, 3-540-23168-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
the Quartet, reliability, Software architecture, dependability, software component |
6 | Marc-Philippe Huget, Michael J. Wooldridge |
Model Checking for ACL Compliance Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Agent Communication Languages ![In: Advances in Agent Communication, International Workshop on Agent Communication Languages, ACL 2003, Melbourne, Australia, July 14, 2003, pp. 75-90, 2003, Springer, 3-540-20769-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
6 | Ulka Shrotri, Purandar Bhaduri, R. Venkatesh 0001 |
Model Checking Visual Specification of Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 22-27 September 2003, Brisbane, Australia, pp. 202-209, 2003, IEEE Computer Society, 0-7695-1949-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
6 | Marc-Philippe Huget, Michael J. Wooldridge |
Model checking for ACL compliance verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings, pp. 1016-1017, 2003, ACM, 1-58113-683-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
model checking, verification, agents, semantics, agent communication language |
6 | Ray Giguette |
The Crawfish and the Aztec treasure maze: adventures in data structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGCSE Bull. ![In: ACM SIGCSE Bull. 34(4), pp. 89-93, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
6 | James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby |
Expressing checkable properties of dynamic systems: the Bandera Specification Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 4(1), pp. 34-56, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Model checking, Object-oriented programs, Temporal specification |
6 | Evgueni Petrov, Éric Monfroy |
Automatic Analysis of Composite Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002), 4-6 November 2002, Washington, DC, USA, pp. 276-283, 2002, IEEE Computer Society, 0-7695-1849-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
6 | Tuba Yavuz-Kahveci, Tevfik Bultan |
Heuristics for Efficient Manipulation of Composite Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems, 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings, pp. 57-71, 2002, Springer, 3-540-43381-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
6 | Bernhard Beckert, Steffen Schlager |
A Sequent Calculus for First-Order Dynamic Logic with Trace Modalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings, pp. 626-641, 2001, Springer, 3-540-42254-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
6 | Bart Jacobs 0001, Erik Poll |
A Logic for the Java Modeling Language JML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 284-299, 2001, Springer, 3-540-41863-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
6 | Joachim van den Berg, Bart Jacobs 0001, Erik Poll |
Formal Specification and Verification of JavaCard's Application Identifier Class. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Card Workshop ![In: Java on Smart Cards: Programming and Security, First International Workshop, JavaCard 2000, Cannes, France, September 14, 2000, Revised Papers, pp. 137-150, 2000, Springer, 3-540-42167-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
6 | Luong T. Nguyen, Liping Zhao 0001, Bill Appelbe |
A Set Approach to Role Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (37) ![In: TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia, November 2000, pp. 158-169, 2000, IEEE Computer Society, 0-7695-0918-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
set approach, role modeling techniques, role description, role binding, role constraints, set inclusion, role specialisation, role compositions, part role, set notation, dynamic description, class/role relationships, class/role structures, Object-Z-like notation, system obligations, Petri net transitions, objects/role instances, system operations, formal specification, formal method, Petri nets, object-oriented programming, object-oriented methods, set theory, EMS, graphic notations, dynamic aspects, set operations, set intersection, formal notation, set union, set unions, set difference |
6 | François Bertault, Peter Eades |
Graph Library Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: 20st International Conference of the Chilean Computer Science Society (SCCC 2000), 16-18 November 2000, Santiago, Chile, pp. 144-151, 2000, IEEE Computer Society, 0-7695-0810-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
graph library design, dynamic graph typing, safe polymorphic algorithms, object-oriented programming, graphs, graph algorithms, object oriented design, extensibility, diagrams, diagrams, software libraries, software performance |
6 | Shaoying Liu, Masaomi Shibata, Ryuichi Sato |
Applying SOFL to Develop a University Information System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 6th Asia-Pacific Software Engineering Conference (APSEC '99), 7-10 December 1999, Takamatsu, Japan, pp. 404-411, 1999, IEEE Computer Society, 0-7695-0509-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
6 | Jan Øyvind Aagedal |
Towards an ODP-Compliant Object Definition Language with QoS-Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDMS ![In: Interactive Distributed Multimedia Systems and Telecommunication Services, 5th International Workshop, IDMS '98, Oslo, Norway, September 8-11, 1998, Proceedings, pp. 181-194, 1998, Springer, 3-540-64955-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
6 | Ali Hamie, John Howse, Stuart Kent 0001 |
Navigation Expresion in Object-Oriented Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 1st Internationsl Conference, FASE'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings, pp. 123-137, 1998, Springer, 3-540-64303-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
6 | Véronique Benzaken, Xavier Schaefer |
Static Integrity Constraint Management in Object-Oriented Database Programming Languages via Predicate Transformers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'97 - Object-Oriented Programming, 11th European Conference, Jyväskylä, Finland, June 9-13, 1997, Proceedings, pp. 60-84, 1997, Springer, 3-540-63089-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
6 | Dimitris Plexousakis |
Simulation and analysis of business processes using GOLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COOCS ![In: Proceedings of the Conference on Organizational Computing Systems, COOCS 1995, Milpitas, California, USA, August 13-16, 1995, pp. 311-322, 1995, ACM, 978-0-89791-706-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
6 | Pierre De Boeck, Baudouin Le Charlier |
Static Type Analysis of Prolog Procedures for Ensuring Correctness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Linköping, Sweden, August 20-22, 1990, Proceedings, pp. 222-237, 1990, Springer, 3-540-53010-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
6 | Robert B. Terwilliger |
Please: a language combining imperative and logic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 23(4), pp. 103-110, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
PLEASE |
6 | Maurice Herlihy, Jeannette M. Wing |
Linearizable concurrent objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 133-135, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
6 | Cliff B. Jones |
VDM Proof Obligations and their Justification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VDM Europe ![In: VDM '87, VDM - A Formal Method at Work, VDM-Europe Symposium, Brussels, Belgium, March 23-26, 1987, Proceedings, pp. 260-286, 1987, Springer, 3-540-17654-3. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
6 | Maurice Herlihy, Jeannette M. Wing |
Axioms for Concurrent Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, Munich, Germany, January 21-23, 1987, pp. 13-26, 1987, ACM Press, 0-89791-215-2. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
6 | David W. Stemple, Subhasish Mazumdar, Tim Sheard |
On the Modes and Meaning of Feedback to Transaction Designers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the Association for Computing Machinery Special Interest Group on Management of Data 1987 Annual Conference, San Francisco, CA, USA, May 27-29, 1987, pp. 374-386, 1987, ACM Press, 978-0-89791-236-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
6 | Stephen D. Brookes |
Semantically Based Axiomatics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Mathematical Foundations of Programming Language Semantics, 3rd Workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987, Proceedings, pp. 312-330, 1987, Springer, 3-540-19020-1. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
6 | Dave Neilson |
Hierarchical Refinement Of A Z Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Seventh Conference, Pune, India, December 17-19, 1987, Proceedings, pp. 376-399, 1987, Springer, 3-540-18625-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
6 | Angelika Horndasch, Rudi Studer |
THM-NET: an approach to office systems modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 13th ACM Annual Conference on Computer Science, New Orleans, Louisiana, USA, 1985, pp. 243-250, 1985, ACM, 0-89791-150-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #161 of 161 (100 per page; Change: ) Pages: [ <<][ 1][ 2] |
|