( en | de | ru )

 

Disambiguation of "Noda, Natsuko"

Author of the publication

copydeleteadd this publication to your clipboard
Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications.

, , , , and . SEFM, volume 7041 of Lecture Notes in Computer Science, page 350-365. Springer, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Natsuko Arai

Teruhisa Noda

Shigeru Noda

Tatsuhiko Noda

Norihiro Noda

 

Other publications of authors with the same name

Aspect-Oriented Analysis for Architectural Design., and . IWPSE, page 126-129. ACM, (2001)Aspect-Oriented Modeling for Embedded Software Design., and . APSEC, page 342-349. IEEE Computer Society, (2007)Analysing Hot / Frozen Spot from Performance Aspect., and . ECOOP Workshops, volume 1743 of Lecture Notes in Computer Science, page 200-201. Springer, (1999)Formal verification and software product lines., and . Commun. ACM, 49 (12): 73-77 (2006)Design Testing for Product Line Development based on Test Scenarios, and . Proceedings of the International Workshop on Software Product Line Testing (SPLiT 2004), page 19--26. Boston, MA, (August 2004)ST: Das zu testende System und die mit dem System in Interaktion stehende Umgebung werden als Zustandsautomat modelliert. Testdaten ergeben sich aus den Transitionen. Es werden Modelchecking Techniken angewendet um Invarianten zu prüfen..A Prioritization Method for SPL Pairwise Testing Based on User Profiles., , , , and . APSEC, page 118-125. IEEE, (2019)Architectural Design for Evolution by Analyzing Requirements on Quality Attributes., , and . APSEC, page 111-118. IEEE Computer Society, (2001)Design Pattern Concerns for Software Evolution., and . IWPSE, page 158-161. ACM, (2001)How to Apply Human-Centered Design Process (HCDP) to Software Development Process?, , and . DISE@ICSE, page 13-16. IEEE, (2017)Broadband characterization of high-dielectric constant films for power-ground decoupling., , and . IEEE Trans. Instrumentation and Measurement, 51 (4): 829-832 (2002)