|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 185 occurrences of 145 keywords
|
|
|
Results
Found 112 publication records. Showing 112 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Kann-Jang Yang, Rob Pooley |
Process Modelling to Support the Unified Modelling Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 21st International Computer Software and Applications Conference (COMPSAC '97), 11-15 August 1997, Washington, DC, USA, pp. 467-472, 1997, IEEE Computer Society, 0-8186-8105-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Ruth Breu, Ursula Hinkel, Christoph Hofmann, Cornel Klein, Barbara Paech, Bernhard Rumpe, Veronika Thurner |
Towards a Formalization of the Unified Modeling Language. ![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. 344-366, 1997, Springer, 3-540-63089-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Steven O. Kimbrough, William J. Vachula |
Towards a Logic Model for Object-Oriented Systems Analysis and Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (5) ![In: 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 7-10 January 1997, Maui, Hawaii, USA, pp. 363-372, 1997, IEEE Computer Society, 0-8186-7734-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | John M. Punshon, J. Paul Tremblay, Paul G. Sorenson, Piotr S. Findeisen |
From Formal Specifications to Natural Language: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 1997 International Conference on Automated Software Engineering, ASE 1997, Lake Tahoe, CA, USA, November 2-5, 1997, pp. 309-310, 1997, IEEE Computer Society, 0-8186-7961-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
REVIEW system, Metaview, formal specification, formal specifications, natural language, software specification, CASE environments |
16 | Judith S. Dahmann |
High Level Architecture for Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIS-RT ![In: 1st International Workshop on Distributed Interactive Simulation and Real-Time Applications (DIS-RT '97), 9-10 January 1997, Eilat, Israel, pp. 9-14, 1997, IEEE Computer Society, 0-8186-7773-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Jürgen Zimmermann 0003, Holger Branding, Alejandro P. Buchmann, Alin Deutsch, Andreas Geppert |
Design, Implementation and Management of Rules in an Active Database System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 7th International Conference, DEXA '96, Zurich, Switzerland, September 9-13, 1996, Proceedings, pp. 422-435, 1996, Springer, 3-540-61656-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
modelling of rules, rule languages, tools for rule management, access control of rules, Active database systems, object-oriented database systems, software life cycle |
16 | Kinh Nguyen |
Towards a Practical Formal Method for Object Oriented Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 3rd Asia-Pacific Software Engineering Conference (APSEC '96), December 4-7, 1996, Seoul, South Korea, pp. 226-237, 1996, IEEE Computer Society, 0-8186-7638-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Formal Specification, Object Oriented Modeling, Object Oriented Analysis and Design, System Development Methodologies |
16 | Do-Hyoung Kim, Kiwon Chong |
A Method of Checking Errors and Consistency in the Process of Object-Oriented Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 3rd Asia-Pacific Software Engineering Conference (APSEC '96), December 4-7, 1996, Seoul, South Korea, pp. 208-216, 1996, IEEE Computer Society, 0-8186-7638-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Verification, Consistency, Formalizing, Object-Oriented Analysis, Object Modeling Technique |
16 | Véronique Plihon, Colette Rolland |
Modelling Ways-of-Working ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 7th International Conference, CAiSE'95, Jyväskylä, Finland, June 12-16, 1995, Proceedings, pp. 126-139, 1995, Springer, 3-540-59498-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Kimberly Williams |
Using object oriented analysis and design in a non-object oriented environment experience report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: Proceedings of the International Conference on Software Maintenance, ICSM 1995, Opio (Nice), France, October 17-20, 1995, pp. 109-, 1995, IEEE Computer Society, 0-8186-7141-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
control system analysis computing, nonobject oriented environment, subsystem development, independent test, Allen-Bradley's 6200 Series Programming Software for Programmable Controllers, structured analysis/structured design subsystems, function point number, code line number, subsystem function number, defect number, defect fixing time, complexity, metrics, software maintenance, software metrics, programming environments, program testing, object oriented design, object-oriented methods, object oriented analysis, structured programming, programmable controllers, control system CAD, development time, Object Modeling Technique |
16 | Leo Motus, R. Kinksaar, Tonu Naks, M. Pall |
Enhancing object modelling technique with timing analysis capabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 298-301, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
enhanced object modelling technique, timing analysis capabilities, timing correctness, software implementation problems, specification problems, time-constraint elicitation, Q-model, noncontradiction analysis, time modelling requirements, performance, software engineering, real-time systems, real-time systems, data integrity, timing, scheduling algorithms, timing constraints, object-oriented methods, consistency checking, application domain, integrity checking, design problems |
16 | Jan-Ming Ho, Ming-Tat Ko, Tze-Heng Ma, Ting-Yi Sung |
Algorithms for Rectilinear Optimal Multicast Tree Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, Third International Symposium, ISAAC '92, Nagoya, Japan, December 16-18, 1992, Proceedings, pp. 106-115, 1992, Springer, 3-540-56279-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #112 of 112 (100 per page; Change: ) Pages: [ <<][ 1][ 2] |
|