|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 26 occurrences of 22 keywords
|
|
|
Results
Found 30 publication records. Showing 30 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
78 | Laurent Cauffriez, Vincent Benard, Dominique Renaux |
A New Formalism for Designing and Specifying RAMS Parameters for Complex Distributed Control Systems: The Safe-SADT Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 55(3), pp. 397-410, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
76 | Valerio O. Pinci, Robert M. Shapiro |
An integrated software development methodology based on hierarchical colored Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applications and Theory of Petri Nets ![In: Advances in Petri Nets 1991, Papers from the 11th International Conference on Applications and Theory of Petri Nets, Paris, France, June 1990, pp. 227-252, 1990, Springer, 3-540-54398-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Hierarchical Coloured Petri Nets, Standard ML, software development methodology, SADT |
52 | Carl K. Chang, Seongwoon Kim |
I3: A Petri-Net Based Specification Method for Architectural Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 23rd International Computer Software and Applications Conference (COMPSAC '99), 27-19 October 1999, Phoenix, AZ, USA, pp. 396-402, 1999, IEEE Computer Society, 0-7695-0368-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
architectural component description language, interoperation, specification, CORBA, software component, Architecture Description Language, stakeholder, colored Petri net, IDL, SADT, ORB |
30 | Masud An Nur Islam Fahim, Jani Boutellier |
SADT: Combining Sharpness-Aware Minimization with Self-Distillation for Improved Model Generalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.00310, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
30 | Dag Rutledal |
Designing for the Unknown: Using Structured Analysis and Design Technique (SADT) to Create a Pilot Domain for a Shore Control Centre for Autonomous Ships. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AHFE (10) ![In: Advances in Human Factors in Robots, Unmanned Systems and Cybersecurity - Proceedings of the AHFE 2021 Virtual Conferences on Human Factors in Robots, Drones and Unmanned Systems, and Human Factors in Cybersecurity, July 25-29, 2021, USA, pp. 79-86, 2021, Springer, 978-3-030-79996-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
30 | Lili Quan, Qianyu Guo, Hongxu Chen 0001, Xiaofei Xie, Xiaohong Li 0001, Yang Liu 0003, Jing Hu 0007 |
SADT: Syntax-Aware Differential Testing of Certificate Validation in SSL/TLS Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 524-535, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
30 | Fahim Ahmed |
Using structured analysis and design technique (SADT) for simulation conceptual modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
30 | Fahim Ahmed, Stewart Robinson 0001, Antuela A. Tako |
Using the structred analysis and design technique (SADT) in simulation conceptual modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 2014 Winter Simulation Conference, Savannah, GA, USA, December 7-10, 2014, pp. 1038-1049, 2014, IEEE/ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
30 | Madhumita Sengupta, J. K. Mandal 0001 |
Self Authentication of image through Daubechies Transform technique (SADT) ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1212.1863, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
30 | David A. Marca |
SADT/IDEF0 for Augmenting UML, Agile and Usability Engineering Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT (Selected Papers) ![In: Software and Data Technologies - 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers, pp. 38-55, 2011, Springer, 978-3-642-36176-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Vincent Benard, Laurent Cauffriez, Dominique Renaux |
The Safe-SADT method for aiding designers to choose and improve dependable architectures for complex automated systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 93(2), pp. 179-196, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Jonathan M. Nash, Martin Berzins, Paul M. Selwood |
A Structured SADT Approach to the Support of a Parallel Adaptive 3D CFD Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31 - September 3, 1999, Proceedings, pp. 651-658, 1999, Springer, 3-540-66443-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Robert M. Shapiro, Valerio O. Pinci, Roberto Mameli |
Modeling an NORAD Command Post Using SADT and Colored Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Functional Programming, Concurrency, Simulation and Automated Reasoning ![In: Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada, pp. 84-107, 1993, Springer, 3-540-56883-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
30 | David A. Marca |
Augmenting SADT to Develop Computer Support for Cooperative Work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 13th International Conference on Software Engineering, Austin, TX, USA, May 13-17, 1991., pp. 94-103, 1991, IEEE Computer Society / ACM Press, 0-89791-391-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
30 | Marco Antonio Carou Leandro, Daltro José Nunes |
Ambiente de desenvolvimento de software utilizando a metodologia SADT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBES ![In: Proceedings of the 1st Brazilian Symposium on Software Engineering, SBES 1987, Rio de Janeiro, RJ, Brazil, October 22-23, 1987., pp. 100-105, 1987, SBC. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
30 | Douglas T. Ross |
Applications and Extensions of SADT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 18(4), pp. 25-34, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
30 | Almuth Fischer |
Wo greifen graphisch orientierte Verfahren? Erfahrungen mit SADT und DSA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entwurf großer Software-Systeme ![In: Entwurf großer Software-Systeme, Workshop des German Chapter of the ACM vom 8. bis 11.5.1984 in Grassau, pp. 257-275, 1984, Teubner, 3-519-02438-1. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
30 | Almuth Fischer |
Drei Jahre SADT bei SCS: Blick zurück ohne Zorn. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requirements Engineering ![In: Requirements Engineering, Arbeitstagung der GI, Friedrichshafen, Deutschland, 12.-14. Oktober 1983, pp. 64-76, 1983, Springer, 3-540-12692-9. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
30 | Kenneth H. Evers, Robert F. Bachert, Patrick R. Santucci |
SADT@@@@ /SAINT: Large scale analysis simulation methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 13th conference on Winter simulation, WSC 1981, Atlanta, GA, USA, December 9-11, 1981, pp. 185-191, 1981, ACM. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP BibTeX RDF |
|
30 | Holger Franck |
Einige Bemerkungen zu Modellierung, Kommunikation und Dokumentation bei der Anforderungsanalyse und ihre Unterstützung durch SADT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering ![In: Software Engineering - Entwurf und Spezifikation, Tagung II/1980 mit Workshop des German Chapter of the ACM vom 12. bis 16.9.1980 in Berlin, pp. 220-227, 1980, Teubner, 3-519-02424-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
30 | Peter H. Yeomans |
Requirements Analysis Using SADT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering ![In: Software Engineering - Entwurf und Spezifikation, Tagung II/1980 mit Workshop des German Chapter of the ACM vom 12. bis 16.9.1980 in Berlin, pp. 202-219, 1980, Teubner, 3-519-02424-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
30 | Donn Combelic |
Experience with SADT (Abstract of presentation). ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1978 National Computer Conference, June 5-8, 1978, Anaheim, CA, USA, pp. 631, 1978, AFIPS Press. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP BibTeX RDF |
|
30 | Melvin E. Dickover, Clement L. McGowan, Douglas T. Ross |
Software design using: SADT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference ![In: Proceedings of the 1977 annual conference, ACM '77, Seattle, Washington, USA, October 16-19, 1977, pp. 125-133, 1977, ACM, 978-1-4503-3921-6. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
28 | Martin Simlastík, Viera Stopjaková |
Automated Synchronous-to-Asynchronous Circuits Conversion: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PATMOS ![In: Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation, 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers, pp. 348-358, 2008, Springer, 978-3-540-95947-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Asynchronous Digital Circuits, Self-time Digital Circuits, Synchronous-to-asynchronous Conversion, DLAP, De-synchronization, Phased Logic, LEDR, Low Power, Null Convention Logic, SADT |
28 | Dmitrij V. Koznov, Michel Pliskin |
Computer-Supported Collaborative Learning with Mind-Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, pp. 478-489, 2008, Springer, 978-3-540-88478-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Author/Commenter Cycle Review Process, Collaborative Learning, Computer-Supported Collaborative Learning, Mind maps, SADT |
28 | Clement L. McGowan, Shawn A. Bohner |
Model Based Process Assessments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 15th International Conference on Software Engineering, Baltimore, Maryland, USA, May 17-21, 1993., pp. 202-211, 1993, IEEE Computer Society / ACM Press, 0-89791-588-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
IDEFO, process re-engineering, process modeling, software process assessments, SADT |
24 | Alexei A. Morozov |
Visual Logic Programming Method Based on Structural Analysis and Design Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings, pp. 436-437, 2007, Springer, 978-3-540-74608-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Jonathan M. Nash |
Using SADTs to Support Irregular Computational Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 1999 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '99), 23-25 June 1999, Fremantle, Australia, pp. 338-343, 1999, IEEE Computer Society, 0-7695-0231-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
sharing abstractions, scalability, cost models, parallel computational models |
24 | Kjeld Høyer Mortensen, Valerio O. Pinci |
Modelling the Work Flow of a Nuclear Waste Management Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1994, 15th International Conference, Zaragoza, Spain, June 20-24, 1994, Proceedings, pp. 376-395, 1994, Springer, 3-540-58152-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
24 | Tosiyasu L. Kunii, Minoru Harada |
SID: a system for interactive design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1980 National Computer Conference, 19-22 May 1980, Anaheim, California, USA, pp. 33-40, 1980, AFIPS Press, 978-1-4503-7923-6. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #30 of 30 (100 per page; Change: )
|
|