|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 933 occurrences of 510 keywords
|
|
|
Results
Found 761 publication records. Showing 761 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
6 | Rodolfo Castelló, Rym Mili, Ioannis G. Tollis |
ViSta. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GD ![In: Graph Drawing, 9th International Symposium, GD 2001 Vienna, Austria, September 23-26, 2001, Revised Papers, pp. 481-482, 2001, Springer, 3-540-43309-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
6 | Barbara J. Czerny, Mats Per Erik Heimdahl |
Identifying Domain Axioms Using Binary Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 17-19 November 1999, Washington, D.C, USA, Proceedings, pp. 132-140, 1999, IEEE Computer Society, 0-7695-0418-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Static Requirements Analysis, Domain Axioms, Spurious Errors, Completeness Analysis, False Positives, Consistency Analysis, Binary Decision Diagrams (BDDs) |
6 | Maya Daneva |
The Role of Benchmarking in Information System Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advances Information System Engineering, 8th International Conference, CAiSE'96, Heraklion, Crete, Greece, May 20-24, 1996, Proceedings, pp. 421-431, 1996, Springer, 3-540-61292-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
6 | James Calhoun |
Distribution of software engineering concepts beyond the software engineering course. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 18th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1987, St. Louis, Missouri, USA, February 19-20, 1987, pp. 233-237, 1987, ACM, 978-0-89791-217-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
6 | Randy H. Katz, Eugene Wong 0001 |
Resolving Conflicts in Global Storage Design through Replication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 8(1), pp. 110-135, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
access path selection, functional data model, storage structure choice |
6 | Patrica H. Baucom |
Software Blueprints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference (1) ![In: Proceedings 1978 ACM Annual Conference, Washington, DC, USA, December 4-6, 1978, Volume I, pp. 385-392, 1978, ACM, 978-0-89791-000-2. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
Chapin charts, Nassi-Shneiderman charts, Program design language, Structured code, Structured flowcharts, Structured programming team, Structured walkthrough, Software design, Structured programming, Stepwise refinement, Structured design, Iterative refinement |
4 | Frank Salger, Gregor Engels, Alexander Hofmann |
Assessments in global software development: a tailorable framework for industrial projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (2) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 29-38, 2010, ACM. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
assessment, global software development |
4 | Frank Salger, Gregor Engels |
Knowledge transfer in global software development: leveraging acceptance test case specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (2) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 211-214, 2010, ACM. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
test case specification, review, global software development |
4 | Joseph Sifakis |
The Quest for Correctness-Beyond a Posteriori Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings, pp. 4, 2009, Springer, 978-3-642-02651-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
4 | Christine Mégard, Florian Gosselin, Sylvain Bouchigny, Fabien Ferlay, Farid Taha |
User-centered design of a maxillo-facial surgery training platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VRST ![In: Proceedings of the ACM Symposium on Virtual Reality Software and Technology, VRST 2009, Kyoto, Japan, November 18-20, 2009, pp. 265-266, 2009, ACM, 978-1-60558-869-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
training, multimodal, task analysis, skills, surgery |
4 | Paul L. Bannerman, Liming Zhu 0001 |
Standardization as a Business Ecosystem Enabler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC Workshops ![In: Service-Oriented Computing - ICSOC 2008 Workshops, ICSOC 2008 International Workshops, Sydney, Australia, December 1st, 2008, Revised Selected Papers, pp. 298-303, 2008, Springer, 978-3-642-01246-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Standardization, business model, service-oriented computing |
4 | James T. Sawyer, David M. Brann |
How to build better models: Applying agile techniques to simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 2008 Winter Simulation Conference, Global Gateway to Discovery, WSC 2008, InterContinental Hotel, Miami, Florida, USA, December 7-10, 2008, pp. 655-662, 2008, WSC, 978-1-4244-2708-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
4 | Colin J. Fidge |
Relative simulation and model checking of real-time processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSC ![In: Computer Science 2008, Thirty-First Australasian Computer Science Conference (ACSC2008), Wollongong, NSW, Australia, January 22-25, 2008, pp. 157-165, 2008, Australian Computer Society, 978-1-920682-55-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
simulation, real-time systems, model checking |
4 | Sandip Ray, Warren A. Hunt Jr. |
Mechanized Certification of Secure Hardware Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTV ![In: Eighth International Workshop on Microprocessor Test and Verification (MTV 2007), Common Challenges and Solutions, 5-6 December 2007, Austin, Texas, USA, pp. 25-32, 2007, IEEE Computer Society, 978-0-7695-3241-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
4 | Daniel Sinnig, Patrice Chalin, Ferhat Khendek |
Common Semantics for Use Cases and Task Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings, pp. 579-598, 2007, Springer, 978-3-540-73209-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
requirements, Use cases, task models, formal semantics, labeled transition systems, partial order sets |
4 | Michael G. Burke, Cheryl Morris, Alessandro Orso, Martin P. Robillard |
Eclipse technology eXchange (ETX) workshop. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA, pp. 619, 2006, ACM, 1-59593-491-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
4 | Manfred Broy |
From Chaos to Undefinedness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Essays Dedicated to Joseph A. Goguen ![In: Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, pp. 476-496, 2006, Springer, 3-540-35462-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
4 | Meurig Beynon, Russell Boyatt, Steve B. Russ |
Rethinking Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Third International Conference on Information Technology: New Generations (ITNG 2006), 10-12 April 2006, Las Vegas, Nevada, USA, pp. 149-154, 2006, IEEE Computer Society, 0-7695-2497-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
prescription, specification, programming, identification |
4 | Alistair G. Sutcliffe |
Trust: From Cognition to Conceptual Models and Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 18th International Conference, CAiSE 2006, Luxembourg, Luxembourg, June 5-9, 2006, Proceedings, pp. 3-17, 2006, Springer, 3-540-34652-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
4 | Wolfgang Mueller, Yves Vanderperren |
UML and model-driven development for SoC design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 4th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2006, Seoul, Korea, October 22-25, 2006, pp. 1, 2006, ACM, 1-59593-370-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
simulation, UML, SoC, tools, SystemC, UML profiles, ESL design |
4 | Weizhong Shao, Gang Huang 0001, Haiyan Zhao |
Modeling of component based systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, pp. 1077-1078, 2006, ACM, 1-59593-375-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
UML, software architecture, component, feature model |
4 | Sergiy Boroday, Alexandre Petrenko, J. Singh, Hesham Hallal |
Dynamic analysis of java applications for multithreaded antipatterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(4), pp. 1-7, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Java, multithreading, instrumentation, bytecode, bug patterns, antipatterns |
4 | Boonserm Kulvatunyou, Nenad Ivezic, Albert T. Jones |
Content-Level Conformance Testing: An Information Mapping Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings, pp. 349-364, 2005, Springer, 3-540-26054-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
4 | Günther Fliedl, Christian Kop, Heinrich C. Mayr, Martin Hölbling, Thomas Horn, Georg Weber, Christian Winkler |
Extended Tagging and Interpretation Tools for Mapping Requirements Texts to Conceptual (Predesign) Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NLDB ![In: Natural Language Processing and Information Systems, 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, 2005, Proceedings, pp. 173-180, 2005, Springer, 3-540-26031-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
4 | Feng Chen 0006, Grigore Rosu |
Java-MOP: A Monitoring Oriented Programming Environment for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 546-550, 2005, Springer, 3-540-25333-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
4 | Igor Ivkovic, Kostas Kontogiannis |
Using Formal Concept Analysis to Establish Model Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCC (2) ![In: International Symposium on Information Technology: Coding and Computing (ITCC 2005), Volume 2, 4-6 April 2005, Las Vegas, Nevada, USA, pp. 365-372, 2005, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
model dependencies, software evolution, formal concept analysis, software modelling, model synchronization |
4 | Igor Ivkovic, Kostas Kontogiannis |
Model synchronization as a problem of maximizing model dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada, pp. 222-223, 2004, ACM, 1-58113-833-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
MDSE, transformation mapping, model transformations, RUP, model synchronization |
4 | David S. Wile, Alexander Egyed |
An Externalized Infrastructure for Self-Healing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WICSA ![In: 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 12-15 June 2004, Oslo, Norway, pp. 285-290, 2004, IEEE Computer Society, 0-7695-2172-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
4 | Michael Kreutzer, Martin Kähmer, Heiko Falk |
Service Discovery with Higher Order Services in Mobile Hospitals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: 17th IEEE Symposium on Computer-Based Medical Systems (CBMS 2004), 24-25 June 2004, Bethesda, MD, USA, pp. 460-, 2004, IEEE Computer Society, 0-7695-2104-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
4 | Dejan Desovski, Vijai Gandikota, Yan Liu 0003, Yue Jiang 0001, Bojan Cukic |
Validation and Reliability Estimation of a Fingerprint Image Registration Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2-5 November 2004, Saint-Malo, Bretagne, France, pp. 306-313, 2004, IEEE Computer Society, 0-7695-2215-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
4 | Roy Sterritt, David F. Bantz |
PAC-MEN: Personal Autonomic Computing Monitoring Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 15th International Workshop on Database and Expert Systems Applications (DEXA 2004), with CD-ROM, 30 August - 3 September 2004, Zaragoza, Spain, pp. 737-741, 2004, IEEE Computer Society, 0-7695-2195-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
4 | Val Mitchell, Susan Harker, Ken D. Eason |
Mobility Mapping - A Discount Technique for Exploring User Needs for Future Mobile Products and Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile HCI ![In: Mobile Human-Computer Interaction - Mobile HCI 2004, 6th International Symposium, Glasgow, UK, September 13-16, 2004, Proceedings, pp. 476-480, 2004, Springer, 3-540-23086-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
4 | Christian Denger, Marcus Ciolkowski, Filippo Lanubile |
Investigating the Active Guidance Factor in Reading Techniques for Defect Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISESE ![In: 2004 International Symposium on Empirical Software Engineering (ISESE 2004), 19-20 August 2004, Redondo Beach, CA, USA, pp. 219-228, 2004, IEEE Computer Society, 0-7695-2165-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
4 | Teruyoshi Zenmyo, Takashi Kobayashi 0001, Motoshi Saeki |
Automated Support for Framework Selection and Customization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 20-25 September 2004, Linz, Austria, pp. 68-77, 2004, IEEE Computer Society, 0-7695-2131-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
4 | Antonia Bertolino, Stefania Gnesi |
PLUTO: A Test Methodology for Product Families. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PFE ![In: Software Product-Family Engineering, 5th International Workshop, PFE 2003, Siena, Italy, November 4-6, 2003, Revised Papers, pp. 181-197, 2003, Springer, 3-540-21941-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
4 | Peter Regner, Thomas Wiesinger |
Extreme Advertised Bidding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XP ![In: Extreme Programming and Agile Processes in Software Engineering, 4th International Conference, XP 2003, Genova, Italy, May 25-29, 2003 Proceedings, pp. 439-440, 2003, Springer, 3-540-40215-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
4 | Peter Regner, Thomas Wiesinger, Josef Küng, Roland R. Wagner |
Towards a Process Model for E.cient Advertised Bidding in the Field of Software Projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EGOV ![In: Electronic Government, Second International Conference, EGOV 2003, Prague, Czech Republic, September 1-5, 2003, Proceedings, pp. 363-368, 2003, Springer, 3-540-40845-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
award procedure, negotiated procedure, software process model, electronic government |
4 | Éric Germain, Pierre N. Robillard |
What Cognitive Activities Are Performed in Student Projects? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSEE&T ![In: 16th Conference on Software Engineering Education and Training (CSEE&T 2003), 20-22 March 2003, Madrid, Spain, pp. 224-, 2003, IEEE Computer Society, 0-7695-1869-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
4 | Koushik Sen, Grigore Rosu, Gul Agha |
Generating Optimal Linear Temporal Logic Monitors by Coinduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN 2003 Programming Languages and Distributed Computation, 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings, pp. 260-275, 2003, Springer, 3-540-20632-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
4 | Darijus Strasunskas, Sari Hakkarainen |
Process of Product Fragments Management in Distributed Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM ![In: On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE - OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2003, Catania, Sicily, Italy, November 3-7, 2003, pp. 218-234, 2003, Springer, 3-540-20498-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
4 | Antonio Badia |
Conceptual Modeling for Semistructured Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE Workshops ![In: 3rd International Conference on Web Information Systems Engineering Workshops, WISE 2002 Workshops, Singapore, December 11, 2002, Proceedings, pp. 170-177, 2002, IEEE Computer Society, 0-7695-1813-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
4 | Paul Baker, Paul Bristow, Clive Jervis, David J. King, Bill Mitchell |
Automatic Generation of Conformance Tests from Message Sequence Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: Telecommunications and beyond: The Broader Applicability of SDL and MSC, Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers, pp. 170-198, 2002, Springer, 3-540-00877-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
4 | Farokh B. Bastani, I-Ling Yen, Sung Kim, John Linn, Kashi Rao |
Reliability of Systems of Independently Developable End-User Assessable Logical (IDEAL) Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 27-30 November 2001, Hong Kong, China, pp. 314-323, 2001, IEEE Computer Society, 0-7695-1306-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
4 | Frode Eika Sandnes |
Self-Designing User Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 27th EUROMICRO Conference 2001: A Net Odyssey, 4-6 September 2001, Warsaw, Poland, pp. 452-460, 2001, IEEE Computer Society, 0-7695-1236-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
4 | Robert C. Seacord, David A. Mundie, Somjai Boonsiri |
K-BACEE: Knowledge-Based Automated Component Ensemble Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 27th EUROMICRO Conference 2001: A Net Odyssey, 4-6 September 2001, Warsaw, Poland, pp. 56-, 2001, IEEE Computer Society, 0-7695-1236-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
4 | Linda L. Werner |
A Graduate Course in Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSEE&T ![In: Thirteenth Conference on Software Engineering Education and Training, 6-8 March, 2000, Austin, Texas, USA, pp. 194-, 2000, IEEE Computer Society, 0-7695-0421-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
4 | Rodolfo Castelló, Rym Mili, Ioannis G. Tollis |
An Algorithmic Framework for Visualizing Statecharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GD ![In: Graph Drawing, 8th International Symposium, GD 2000, Colonial Williamsburg, VA, USA, September 20-23, 2000, Proceedings, pp. 139-149, 2000, Springer, 3-540-41554-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
4 | LeMai Nguyen, Paul A. Swatman, Graeme G. Shanks |
Using Design Explanation within the Formal Object-Oriented Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 4(3), pp. 152-164, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Design explanation, Design rationale, Information analysis, Requirements engineering process |
4 | Brian D. Chance, Bonnie E. Melhart |
A Taxonomy for Scenario Use in Requirements Elicitation and Analysis of Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 6th Symposium on Engineering of Computer-Based Systems (ECBS '99), 7-12 March 1999, Nashville, TN, USA. IEEE Computer Society, 1999, pp. 232-, 1999, IEEE Computer Society, 0-7695-0028-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Scenarios, Requirements elicitation, Software requirements |
4 | Dolores R. Wallace, D. Richard Kuhn |
Lessons from 342 Medical Device Failures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 17-19 November 1999, Washington, D.C, USA, Proceedings, pp. 123-131, 1999, IEEE Computer Society, 0-7695-0418-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
4 | Susan A. Mengel |
Software Metrics: Views from Education, Research, and Training. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSEE&T ![In: 12th Conference on Software Engineering Education and Training, 22-24 March, 1999, New Orleans, Louisiana, USA, pp. 126-128, 1999, IEEE Computer Society, 0-7695-0131-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
4 | Todd Lauinger |
Software Development "in the Zone". ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (30) ![In: TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software - The Way Ahead, 1-5 August 1999, Santa Barbara, CA, USA, pp. 518, 1999, IEEE Computer Society, 0-7695-0278-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
4 | Susan Lilly |
Use Case Pitfalls: Top 10 Problems from Real Projects Using Use Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (30) ![In: TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software - The Way Ahead, 1-5 August 1999, Santa Barbara, CA, USA, pp. 174-183, 1999, IEEE Computer Society, 0-7695-0278-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
4 | Tevfik Bultan, Richard Gerber 0001, Christopher League |
Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1998, Clearwater Beach, Florida, USA, March 2-5, 1998, pp. 113-123, 1998, ACM, 0-89791-971-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
4 | Phillip Baraona, Perry Alexander |
Representing abstract architectures with axiomatic specifications and activation conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), March 24-28, 1997, Monterey, CA, USA, pp. 161-168, 1997, IEEE Computer Society, 0-8186-7889-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
abstract architectures representation, activation conditions, VSPEC, Larch interface language, axiomatic style, formal specification, VHDL, formal semantics, formal analysis, axiomatic specifications |
4 | Stanley M. Sutton Jr., Dennis Heimbigner, Leon J. Osterweil |
APPL/A: A Language for Software Process Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 4(3), pp. 221-286, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
multiparadigm programming languages, software process programming, Ada, transaction management, consistency management, APPL |
4 | Mauro Gaspari, Enrico Motta, Arthur Stutt |
An Open Framework for Cooperative Problem Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Expert ![In: IEEE Expert 10(3), pp. 48-55, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
4 | Petri Maaranen, Kalle Lyytinen |
Designing meeting support systems in a user-centered manner: the case of the Helsinki prototype system. ![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. 336-346, 1995, ACM, 978-0-89791-706-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
4 | C. V. Ramamoorthy |
Distributed techniques in software systems integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTDCS ![In: 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), August 28-30, 1995, Chenju, Korea, Proceedings, pp. 252-256, 1995, IEEE Computer Society, 0-8186-7125-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
software systems integration, distributed computing techniques, traditional software development, waterfall model, basic conceptual model, generic integration lifecycle, design, formal specification, testing, specification, software development, software tools, validation, requirements, implementation, program verification, software development management, consumer electronics, iterative testing, automation support |
4 | Valeria De Antonellis, Lorenzo Vandoni |
Temporal Apsects in Reuse of Requirement Specifications ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, CAiSE'93, Paris, France, June 8-11, 1993, Proceedings, pp. 504-520, 1993, Springer, 3-540-56777-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
4 | Mary Sumner |
The senior information systems design project seminar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 18th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1987, St. Louis, Missouri, USA, February 19-20, 1987, pp. 2-8, 1987, ACM, 978-0-89791-217-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
Displaying result #701 - #761 of 761 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8] |
|