Search results for "SADT"

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.	IEEE Trans. Reliab.	2006	DBLP DOI BibTeX RDF
76	Valerio O. Pinci, Robert M. Shapiro	An integrated software development methodology based on hierarchical colored Petri Nets.	Applications and Theory of Petri Nets	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.	COMPSAC	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.	CoRR	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.	AHFE (10)	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.	ASE	2020	DBLP DOI BibTeX RDF
30	Fahim Ahmed	Using structured analysis and design technique (SADT) for simulation conceptual modelling.		2016	RDF
30	Fahim Ahmed, Stewart Robinson 0001, Antuela A. Tako	Using the structred analysis and design technique (SADT) in simulation conceptual modeling.	WSC	2014	DBLP DOI BibTeX RDF
30	Madhumita Sengupta, J. K. Mandal 0001	Self Authentication of image through Daubechies Transform technique (SADT)	CoRR	2012	DBLP BibTeX RDF
30	David A. Marca	SADT/IDEF0 for Augmenting UML, Agile and Usability Engineering Methods.	ICSOFT (Selected Papers)	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.	Reliab. Eng. Syst. Saf.	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.	Euro-Par	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.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
30	David A. Marca	Augmenting SADT to Develop Computer Support for Cooperative Work.	ICSE	1991	DBLP BibTeX RDF
30	Marco Antonio Carou Leandro, Daltro José Nunes	Ambiente de desenvolvimento de software utilizando a metodologia SADT.	SBES	1987	DBLP BibTeX RDF
30	Douglas T. Ross	Applications and Extensions of SADT.	Computer	1985	DBLP DOI BibTeX RDF
30	Almuth Fischer	Wo greifen graphisch orientierte Verfahren? Erfahrungen mit SADT und DSA.	Entwurf großer Software-Systeme	1984	DBLP BibTeX RDF
30	Almuth Fischer	Drei Jahre SADT bei SCS: Blick zurück ohne Zorn.	Requirements Engineering	1983	DBLP DOI BibTeX RDF
30	Kenneth H. Evers, Robert F. Bachert, Patrick R. Santucci	SADT@@@@ /SAINT: Large scale analysis simulation methodology.	WSC	1981	DBLP BibTeX RDF
30	Holger Franck	Einige Bemerkungen zu Modellierung, Kommunikation und Dokumentation bei der Anforderungsanalyse und ihre Unterstützung durch SADT.	Software Engineering	1980	DBLP BibTeX RDF
30	Peter H. Yeomans	Requirements Analysis Using SADT.	Software Engineering	1980	DBLP BibTeX RDF
30	Donn Combelic	Experience with SADT (Abstract of presentation).	AFIPS National Computer Conference	1978	DBLP BibTeX RDF
30	Melvin E. Dickover, Clement L. McGowan, Douglas T. Ross	Software design using: SADT.	ACM Annual Conference	1977	DBLP DOI BibTeX RDF
28	Martin Simlastík, Viera Stopjaková	Automated Synchronous-to-Asynchronous Circuits Conversion: A Survey.	PATMOS	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.	ISoLA	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.	ICSE	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.	ICLP	2007	DBLP DOI BibTeX RDF
24	Jonathan M. Nash	Using SADTs to Support Irregular Computational Problems.	ISPAN	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.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
24	Tosiyasu L. Kunii, Minoru Harada	SID: a system for interactive design.	AFIPS National Computer Conference	1980	DBLP DOI BibTeX RDF