Ast 09
•Download as PPTX, PDF•
0 likes•353 views
This document discusses using model-based testing with pattern-directed filmstrips. It proposes incorporating testing into modeling by: 1. Using filmstrips (based on use cases) and snapshot patterns (based on object models) to specify tests in a diagrammatic way. 2. Generating candidate filmstrip tests from models and executing them against the system under test after mapping models to implementation. 3. Defining a filmstrip language and demonstration DSL for specifying and running tests against an example sales system model implemented in Java.
Report
Share
Report
Share
Recommended
CS50 Lecture4
This document provides an overview of various topics related to computer science including: CS50 IDE, check50, debug50, help50, printf, style50, valgrind, ddb50, strings, characters, pointers, structures, arrays, linked lists, trees, hash tables, tries, and binary search trees. Code examples are provided for swapping variables, allocating memory, defining a student struct, creating a binary search tree, and searching a binary search tree. References are included to online resources for further information on data structures.
[C++ korea] effective modern c++ study item 3 understand decltype +이동우
This document discusses decltype and how it is used to deduce types in C++ templates. It explains that decltype yields the actual type of an expression without modifications, and for lvalues other than names it yields a reference type. decltype(auto) was introduced in C++14 to allow deducing a type using decltype rules rather than auto rules. Examples are provided to demonstrate how decltype resolves types of expressions, functions, class members, and rvalue references. Links are included for further reading on decltype and its interaction with auto.
Haxe vs Unicode (en)
The original version (Japanese, Published on Aug 09, 2014): http://www.slideshare.net/ryuseimandel59/haxe-vs-unicode
#OOP_D_ITS - 3rd - Pointer And References
The document discusses pointers and memory management in C++. It explains that pointers store the address of a variable in memory and can be used to allocate and free dynamic memory using new and delete. New returns a pointer to the allocated memory, and for every new there must be a corresponding delete. Arrays allocated with new must be freed with delete[]. Classes can define destructors to clean up memory in the class. References are explained as aliases to existing variables, differing from pointers which store addresses. The document also discusses using header files to declare classes to be used across files.
Function recap
1. A function is a section of code that performs a specific task and makes programming simpler by splitting problems into sub-problems.
2. There are different types of functions including void functions without arguments, void functions with input arguments, and functions that return a single result.
3. Functions allow code to be reused by calling the function from the main program or from other functions. Functions can take input arguments and return values to provide modularity and simplify programming.
Introduction to Python and Matplotlib
A short introduction to Python for beginner showing principles of the interactive ipython shell and plotting with matplotlib
Php Inspections (EA Extended): if-conditions optimization
This document discusses static code analysis and challenges in analyzing PHP code. It describes analyzing if-statements, including estimating execution costs, handling interconnected conditions, and detecting duplicate expressions. It also covers analyzing exception handling workflows. The document provides examples of patterns found in if-statement analysis and discusses representing code constructs as graphs to solve the "shortest path problem" to estimate costs. It presents a formula for estimating the cost of if-else constructions and examples of hooking analysis code into an IDE.
Lab 9 sem ii_12_13
There are errors in the function prototype and definition. The function prototype in line 4 declares the function as int fnAdd(int iValue1, int iValue2) but the definition in line 14 is int fnAdd(inum1, inum2). The parameter names must match between the prototype and definition.
Recommended
CS50 Lecture4
This document provides an overview of various topics related to computer science including: CS50 IDE, check50, debug50, help50, printf, style50, valgrind, ddb50, strings, characters, pointers, structures, arrays, linked lists, trees, hash tables, tries, and binary search trees. Code examples are provided for swapping variables, allocating memory, defining a student struct, creating a binary search tree, and searching a binary search tree. References are included to online resources for further information on data structures.
[C++ korea] effective modern c++ study item 3 understand decltype +이동우
This document discusses decltype and how it is used to deduce types in C++ templates. It explains that decltype yields the actual type of an expression without modifications, and for lvalues other than names it yields a reference type. decltype(auto) was introduced in C++14 to allow deducing a type using decltype rules rather than auto rules. Examples are provided to demonstrate how decltype resolves types of expressions, functions, class members, and rvalue references. Links are included for further reading on decltype and its interaction with auto.
Haxe vs Unicode (en)
The original version (Japanese, Published on Aug 09, 2014): http://www.slideshare.net/ryuseimandel59/haxe-vs-unicode
#OOP_D_ITS - 3rd - Pointer And References
The document discusses pointers and memory management in C++. It explains that pointers store the address of a variable in memory and can be used to allocate and free dynamic memory using new and delete. New returns a pointer to the allocated memory, and for every new there must be a corresponding delete. Arrays allocated with new must be freed with delete[]. Classes can define destructors to clean up memory in the class. References are explained as aliases to existing variables, differing from pointers which store addresses. The document also discusses using header files to declare classes to be used across files.
Function recap
1. A function is a section of code that performs a specific task and makes programming simpler by splitting problems into sub-problems.
2. There are different types of functions including void functions without arguments, void functions with input arguments, and functions that return a single result.
3. Functions allow code to be reused by calling the function from the main program or from other functions. Functions can take input arguments and return values to provide modularity and simplify programming.
Introduction to Python and Matplotlib
A short introduction to Python for beginner showing principles of the interactive ipython shell and plotting with matplotlib
Php Inspections (EA Extended): if-conditions optimization
This document discusses static code analysis and challenges in analyzing PHP code. It describes analyzing if-statements, including estimating execution costs, handling interconnected conditions, and detecting duplicate expressions. It also covers analyzing exception handling workflows. The document provides examples of patterns found in if-statement analysis and discusses representing code constructs as graphs to solve the "shortest path problem" to estimate costs. It presents a formula for estimating the cost of if-else constructions and examples of hooking analysis code into an IDE.
Lab 9 sem ii_12_13
There are errors in the function prototype and definition. The function prototype in line 4 declares the function as int fnAdd(int iValue1, int iValue2) but the definition in line 14 is int fnAdd(inum1, inum2). The parameter names must match between the prototype and definition.
Lab 10 sem ii_12_13
This document contains code examples and questions about functions in C programming. It demonstrates passing arguments to functions by value and by address, as well as recursion using a factorial function.
The code samples show how arguments are passed differently depending on whether they are passed by value or by reference. The factorial function recursively calls itself to calculate the factorial of a given number.
Lab 6
1. The document discusses different types of loops in computer programming including while, do-while, and for loops.
2. Examples are provided to illustrate the syntax and usage of each loop type. While and do-while loops test the condition at the start or end of each iteration. For loops allow specifying an initial value, condition, and counter update.
3. Nested loops are also demonstrated with an example program that prints a triangle pattern using loops within loops. Exercises are included to write and run loop programs.
Primitives in Generics
This document discusses the current state of primitives in generics in Java and some proposed approaches under Project Valhalla to allow primitives to be used as type parameters. Currently, generics only work with reference types due to type erasure. The document explores reasons for erasure and challenges, and proposes a syntax of <any T> to allow primitives, as well as specialized representations in bytecode and restrictions to maintain compatibility. It suggests experiments to further explore implementation options.
[C++ Korea] Effective Modern C++ Study, Item 11 - 13
The document discusses various techniques in modern C++, including deleting implicitly declared functions, deleting function templates for certain types, overriding virtual functions consistently, using const_iterators to allow modifying non-const containers, and writing generic functions that work with both const and non-const containers by SFINAE-enabling calls to cbegin/cend.
Mercury: A Functional Review
Presentation to Melbourne Alt.NET, February 2016.
A review of using F# on a small commercial project.
Composite types
This document discusses type conversion and composite types in Go. It provides examples of type conversion between integer types of different sizes. It also describes arrays, structs, and slices in Go. Arrays have a fixed length while slices are dynamically sized. Structs allow grouping of heterogeneous data types. Slices provide a flexible data structure for collections that is an abstraction over arrays.
C# What's next? (7.x and 8.0)
C# ist eine Programmiersprache mehrerer Paradigmen. C# war nie rein objektorientiert, schon in der ersten Version als Component-basierte Sprache angepriesen. Mit der Zeit gab es Erweiterungen der deklarativen Programmierung, und auch funktionale Konzepte wurden bei C# übernommen. In welche Richtung entwickelt sich C# weiter? In dieser Session werden neueste Erweiterungen von C# gezeigt. Themen sind dabei die letzten aktuellen Änderungen sowie geplante Erweiterungen wie z. B. die Vermeidung von NullReferenceException mit Non-Nullable Reference Types und die Reduktion von Garbage-Collector-Aufrufen mit Hilfe von Memory-Optimierungen.
Smalltalk blocks and closures origin and evolution by Juan Escalada
Even though there probably isn't a Smalltalk developer who doesn't use Block on a daily basis,
it's not common knowledge that they are based on the idea of Anonymous Functions,
nor that their Closures' origins can be traced back to Scheme.
The idea of this talk is to analyze the origin of this tool that defined Smalltalk, it's evolution until it became the full closure that we know today, and have a better idea of the potential advantages it provides.
Data Applied:Outliers
This document describes an algorithm for detecting outliers in a database. It differs from conventional outlier detection algorithms by having an improved running time. The pseudo code provided outlines the steps: it takes a dataset, calculates the k nearest neighbors of each point, and returns the top n outliers based on a score comparing points to their nearest neighbors, improving on a basic nested loop approach. The document then briefly mentions how outliers can be detected using an online tool from Data-Applied.com.
C Structure and Union in C
C Structure and Union in CBosco Technical Training Society, Don Bosco Technical School (Aff. GGSIP University, New Delhi)
TO UNDERSTAND about Structure in C.
TO LEARN ABOUT How to Declare Structure in C.
To learn about how to store Structure in Memory.
To understand copy of structure elements in c.
To understand about nested structure in C.
TO LEARN ABOUT how to use Array of structure in C.
To learn about Union in C.
C++17 not your father’s c++
The document discusses how C++ has evolved from its origins as "C with classes" to a modern, expressive language with features like lambda expressions, smart pointers, templates, parallel programming support, and type inference. It provides examples of new C++11, C++14, and C++17 language features and core library additions like std::variant and std::optional that have enhanced performance, expressiveness and quality of life. The document suggests C++ has transformed from its original form and aims to demonstrate how modern C++ code looks different than older styles through examples. It closes by speculating on future C++ features like concepts, ranges and reflection.
function in c
This document discusses different types of variables and functions in C programming. It defines user defined functions as functions designed by the user as opposed to pre-defined functions. It also categorizes functions based on whether they have arguments and return values. The document outlines the elements of a user defined function like declaration, definition, call. It further explains different storage classes like automatic, static, external and register variables.
Html
The document contains multiple choice questions about JavaScript concepts like operators, functions, objects, and methods. Some key points covered are:
- Void is an operator, not a method, function, or statement.
- Anonymous functions can be used to process data before passing to another function, decrease number of functions used in code, and define variable scope.
- Advantages of JavaScript include ability to reuse code, apply changes across classes/objects, and create user-defined interfaces.
- The eval() method is used to evaluate regular expressions, not evaluate() or evalu().
Pointers
This document discusses pointers in C programming. It defines pointers as a data type that contains the memory address of another variable. Pointers allow dynamically allocating memory and reduce program complexity. The document shows how to declare and initialize pointer variables, use pointers to access values, demonstrates pointers to pointers, and uses pointers with arrays. Examples are provided to illustrate pointers, pointer to pointer, and using pointers in arrays and 2D arrays.
2018 cosup-delete unused python code safely - english
The talk is about doing cleanup and refactor for legacy Python code base in a safer way. I introduced several existing tools for this task and demonstrated how (surprisingly) Python ast module can also help in this case.
中文摘要:
不管是 open source 專案還是工作上，經過長時間開發累積，source code 內可能會殘留許多不再需要的 code，造成維護以及 refactor 的困難，也造成新手 trace code 時的障礙。
對 C/C++ 這類編譯式語言來說，開啟編譯器最佳化能自動清除 dead code，但對於 Python 這類動態語言，則沒有公認完美的方法。
本議程分享一些相關經驗，佐以利用 Python AST 的簡易自製工具，討論如何從較複雜的 python source tree 中，安全的清除不再需要的 code。
Code: https://github.com/PCMan/python-find-unused-func
Categories for the Working C++ Programmer
This document discusses categories for working C++ programmers. It covers low-level and high-level concepts including composition, objects, arrows between objects, pure functions, side effects, and controlling side effects through composition. The key ideas are representing functions as arrows between objects, composing functions through their results and arguments, and using monads to encapsulate side effects while maintaining function purity.
College1
This document provides an introduction to C programming over 13 pages. It covers the purpose and schedule of the lectures, differences between C and Java, C program structure, keywords, variables, data types, and more. The main points are that the lectures will provide a crash course in C with an emphasis on differences from Java, cover practical examples and topics related to C programming, and include history, language overview, pointers, memory management, compiling and debugging.
Basic c++ 11/14 for python programmers
A short list of some common python programming patterns and their C++ equivalents. This can help programmers learn C++ in a more efficient way if he or she already knows Python.
Part of this material is used for internal training of Appier Inc, one of the leading artificial intelligence company in Asia.
Thank Appier Inc. for allowing me to share this.
Lecture1
This document provides an overview of C++ programming concepts. It introduces C++, focusing on programming concepts and design techniques rather than technical language details. It discusses procedural and object-oriented programming concepts, and how C++ supports both as well as generic programming. The key characteristics of object-oriented programming languages are explained as encapsulation, inheritance, and polymorphism.
Dsl overview
The document discusses domain specific languages (DSLs), including what they are, different types of DSLs, an example DSL for configuring a framework, and how DSLs relate to lambda calculus and modeling. It also covers benefits and drawbacks of DSLs and technologies for developing them like the XMF family and language factories.
Dsl tutorial
The document describes Tony Clark's presentation on developing domain specific languages with XMF. It provides an outline of the presentation topics, which include an introduction to domain specific languages, an overview of the XMF tool, a case study example, specifications for defining an executable DSL, implementations including syntax and semantics, and variations and advanced features of XMF. The document discusses domain specific languages, approaches to defining them, and the benefits they provide over general purpose languages. It also provides examples of using XMF to define the abstract syntax and concrete syntax of a simple expression language DSL.
Leap isec 2011
LEAP is a precise lightweight framework for enterprise architecture modeling. It uses a language-driven approach with simple orthogonal concepts and refinement relationships between layers. Semantics and OCL allow precise analysis of models. A case study demonstrates modeling a university's laptop loan scheme before and after changes. Future work includes expanding modeling capabilities and larger case studies.
More Related Content
What's hot
Lab 10 sem ii_12_13
This document contains code examples and questions about functions in C programming. It demonstrates passing arguments to functions by value and by address, as well as recursion using a factorial function.
The code samples show how arguments are passed differently depending on whether they are passed by value or by reference. The factorial function recursively calls itself to calculate the factorial of a given number.
Lab 6
1. The document discusses different types of loops in computer programming including while, do-while, and for loops.
2. Examples are provided to illustrate the syntax and usage of each loop type. While and do-while loops test the condition at the start or end of each iteration. For loops allow specifying an initial value, condition, and counter update.
3. Nested loops are also demonstrated with an example program that prints a triangle pattern using loops within loops. Exercises are included to write and run loop programs.
Primitives in Generics
This document discusses the current state of primitives in generics in Java and some proposed approaches under Project Valhalla to allow primitives to be used as type parameters. Currently, generics only work with reference types due to type erasure. The document explores reasons for erasure and challenges, and proposes a syntax of <any T> to allow primitives, as well as specialized representations in bytecode and restrictions to maintain compatibility. It suggests experiments to further explore implementation options.
[C++ Korea] Effective Modern C++ Study, Item 11 - 13
The document discusses various techniques in modern C++, including deleting implicitly declared functions, deleting function templates for certain types, overriding virtual functions consistently, using const_iterators to allow modifying non-const containers, and writing generic functions that work with both const and non-const containers by SFINAE-enabling calls to cbegin/cend.
Mercury: A Functional Review
Presentation to Melbourne Alt.NET, February 2016.
A review of using F# on a small commercial project.
Composite types
This document discusses type conversion and composite types in Go. It provides examples of type conversion between integer types of different sizes. It also describes arrays, structs, and slices in Go. Arrays have a fixed length while slices are dynamically sized. Structs allow grouping of heterogeneous data types. Slices provide a flexible data structure for collections that is an abstraction over arrays.
C# What's next? (7.x and 8.0)
C# ist eine Programmiersprache mehrerer Paradigmen. C# war nie rein objektorientiert, schon in der ersten Version als Component-basierte Sprache angepriesen. Mit der Zeit gab es Erweiterungen der deklarativen Programmierung, und auch funktionale Konzepte wurden bei C# übernommen. In welche Richtung entwickelt sich C# weiter? In dieser Session werden neueste Erweiterungen von C# gezeigt. Themen sind dabei die letzten aktuellen Änderungen sowie geplante Erweiterungen wie z. B. die Vermeidung von NullReferenceException mit Non-Nullable Reference Types und die Reduktion von Garbage-Collector-Aufrufen mit Hilfe von Memory-Optimierungen.
Smalltalk blocks and closures origin and evolution by Juan Escalada
Even though there probably isn't a Smalltalk developer who doesn't use Block on a daily basis,
it's not common knowledge that they are based on the idea of Anonymous Functions,
nor that their Closures' origins can be traced back to Scheme.
The idea of this talk is to analyze the origin of this tool that defined Smalltalk, it's evolution until it became the full closure that we know today, and have a better idea of the potential advantages it provides.
Data Applied:Outliers
This document describes an algorithm for detecting outliers in a database. It differs from conventional outlier detection algorithms by having an improved running time. The pseudo code provided outlines the steps: it takes a dataset, calculates the k nearest neighbors of each point, and returns the top n outliers based on a score comparing points to their nearest neighbors, improving on a basic nested loop approach. The document then briefly mentions how outliers can be detected using an online tool from Data-Applied.com.
C Structure and Union in C
C Structure and Union in CBosco Technical Training Society, Don Bosco Technical School (Aff. GGSIP University, New Delhi)
TO UNDERSTAND about Structure in C.
TO LEARN ABOUT How to Declare Structure in C.
To learn about how to store Structure in Memory.
To understand copy of structure elements in c.
To understand about nested structure in C.
TO LEARN ABOUT how to use Array of structure in C.
To learn about Union in C.
C++17 not your father’s c++
The document discusses how C++ has evolved from its origins as "C with classes" to a modern, expressive language with features like lambda expressions, smart pointers, templates, parallel programming support, and type inference. It provides examples of new C++11, C++14, and C++17 language features and core library additions like std::variant and std::optional that have enhanced performance, expressiveness and quality of life. The document suggests C++ has transformed from its original form and aims to demonstrate how modern C++ code looks different than older styles through examples. It closes by speculating on future C++ features like concepts, ranges and reflection.
function in c
This document discusses different types of variables and functions in C programming. It defines user defined functions as functions designed by the user as opposed to pre-defined functions. It also categorizes functions based on whether they have arguments and return values. The document outlines the elements of a user defined function like declaration, definition, call. It further explains different storage classes like automatic, static, external and register variables.
Html
The document contains multiple choice questions about JavaScript concepts like operators, functions, objects, and methods. Some key points covered are:
- Void is an operator, not a method, function, or statement.
- Anonymous functions can be used to process data before passing to another function, decrease number of functions used in code, and define variable scope.
- Advantages of JavaScript include ability to reuse code, apply changes across classes/objects, and create user-defined interfaces.
- The eval() method is used to evaluate regular expressions, not evaluate() or evalu().
Pointers
This document discusses pointers in C programming. It defines pointers as a data type that contains the memory address of another variable. Pointers allow dynamically allocating memory and reduce program complexity. The document shows how to declare and initialize pointer variables, use pointers to access values, demonstrates pointers to pointers, and uses pointers with arrays. Examples are provided to illustrate pointers, pointer to pointer, and using pointers in arrays and 2D arrays.
2018 cosup-delete unused python code safely - english
The talk is about doing cleanup and refactor for legacy Python code base in a safer way. I introduced several existing tools for this task and demonstrated how (surprisingly) Python ast module can also help in this case.
中文摘要:
不管是 open source 專案還是工作上，經過長時間開發累積，source code 內可能會殘留許多不再需要的 code，造成維護以及 refactor 的困難，也造成新手 trace code 時的障礙。
對 C/C++ 這類編譯式語言來說，開啟編譯器最佳化能自動清除 dead code，但對於 Python 這類動態語言，則沒有公認完美的方法。
本議程分享一些相關經驗，佐以利用 Python AST 的簡易自製工具，討論如何從較複雜的 python source tree 中，安全的清除不再需要的 code。
Code: https://github.com/PCMan/python-find-unused-func
Categories for the Working C++ Programmer
This document discusses categories for working C++ programmers. It covers low-level and high-level concepts including composition, objects, arrows between objects, pure functions, side effects, and controlling side effects through composition. The key ideas are representing functions as arrows between objects, composing functions through their results and arguments, and using monads to encapsulate side effects while maintaining function purity.
College1
This document provides an introduction to C programming over 13 pages. It covers the purpose and schedule of the lectures, differences between C and Java, C program structure, keywords, variables, data types, and more. The main points are that the lectures will provide a crash course in C with an emphasis on differences from Java, cover practical examples and topics related to C programming, and include history, language overview, pointers, memory management, compiling and debugging.
Basic c++ 11/14 for python programmers
A short list of some common python programming patterns and their C++ equivalents. This can help programmers learn C++ in a more efficient way if he or she already knows Python.
Part of this material is used for internal training of Appier Inc, one of the leading artificial intelligence company in Asia.
Thank Appier Inc. for allowing me to share this.
Lecture1
This document provides an overview of C++ programming concepts. It introduces C++, focusing on programming concepts and design techniques rather than technical language details. It discusses procedural and object-oriented programming concepts, and how C++ supports both as well as generic programming. The key characteristics of object-oriented programming languages are explained as encapsulation, inheritance, and polymorphism.
What's hot (19)
[C++ Korea] Effective Modern C++ Study, Item 11 - 13
[C++ Korea] Effective Modern C++ Study, Item 11 - 13
Smalltalk blocks and closures origin and evolution by Juan Escalada
Smalltalk blocks and closures origin and evolution by Juan Escalada
2018 cosup-delete unused python code safely - english
2018 cosup-delete unused python code safely - english
Viewers also liked
Dsl overview
The document discusses domain specific languages (DSLs), including what they are, different types of DSLs, an example DSL for configuring a framework, and how DSLs relate to lambda calculus and modeling. It also covers benefits and drawbacks of DSLs and technologies for developing them like the XMF family and language factories.
Dsl tutorial
The document describes Tony Clark's presentation on developing domain specific languages with XMF. It provides an outline of the presentation topics, which include an introduction to domain specific languages, an overview of the XMF tool, a case study example, specifications for defining an executable DSL, implementations including syntax and semantics, and variations and advanced features of XMF. The document discusses domain specific languages, approaches to defining them, and the benefits they provide over general purpose languages. It also provides examples of using XMF to define the abstract syntax and concrete syntax of a simple expression language DSL.
Leap isec 2011
LEAP is a precise lightweight framework for enterprise architecture modeling. It uses a language-driven approach with simple orthogonal concepts and refinement relationships between layers. Semantics and OCL allow precise analysis of models. A case study demonstrates modeling a university's laptop loan scheme before and after changes. Future work includes expanding modeling capabilities and larger case studies.
Kiss at oopsla 09
The document discusses domain-specific languages (DSLs) and tool interoperability. It proposes the Knowledge Industry Survival Strategy (KISS) framework to address issues with DSLs like lack of interoperability between tools. KISS aims to automate software construction from domain models using open standards. It defines compliance levels for tool interoperability from no interoperability to fully interoperable behavior through common representations of models, services, and behavior. The document outlines how KISS would enable tools to work together through model persistence, transformation and execution.
Patterns 200711
XMF is a meta-circular language based on ObjLisp for language-oriented programming. It allows defining grammars and syntax processing, modeling with classes and operations, and provides features like pattern matching, code generation templates, and integration with Java. XMF includes a match language construct for pattern matching that can desugar patterns into OCL operations.
Hcse pres
The document discusses a domain specific language (DSL) for contextual design. It proposes a model-driven approach to language design to address issues with ambiguity and lack of precision in user-centered design processes and artifacts. Specifically, it focuses on developing a DSL to provide formal semantics and tool support for models used in contextual design, such as cultural models. The talk outlines key problems identified in a case study that motivated this work, and describes how a DSL following language engineering principles can formally define the syntax and semantics of contextual design models.
Viewers also liked (6)
Similar to Ast 09
Working with Complex Types in DataFrames: Optics to the Rescue
This document summarizes Alfonso Roa's presentation on using optics to work with complex types in Spark DataFrames. The presentation introduces the problem of manipulating nested structures in DataFrames and demonstrates how optics libraries like Monocle can be used to focus on specific elements. It then shows how Spark optics provides a similar lens-based API for DataFrames, allowing changes to nested elements to be made easily through composition of lenses. The presentation concludes by discussing additional lens functionality for schema changes and future work to improve Spark optics.
DITEC - Programming with C#.NET
Esoft Metro Campus - Diploma in Information Technology - (Module IX) Programming with C#.NET
(Template - Virtusa Corporate)
Contents:
Introduction to .NET Framework
.NET Framework Platform Architecture
Microsoft Visual Studio
C# Language
C#, VS and .NET Framework Versions
Your First C# Application
Printing Statements
Comments in C#
Common Type System
Value Types and Reference Type
Variables Declaration in C#
Type Conversion
Arithmetic Operators
Assignment Operators
Comparison Operators
Logical Operators
If Statement
If… Else Statement
If… Else if… Else Statement
Nested If Statement
Switch Statement
While Loop
Do While Loop
For Loop
Arrays
Accessing Arrays using foreach Loop
Two Dimensional Arrays
Classes and Objects in C#
Inheritance in C#
Partial Classes
Namespaces
Windows Forms Applications
Using Buttons, Labels and Text Boxes
Displaying Message Boxes
Error Handling with Try… Catch… finally…
Using Radio Buttons
Using Check Boxes
Using List Boxes
Creating Menus
Creating ToolStrips
MDI Forms
Database Application in C#
Creating a Simple Database Application
SQL Insert / Update / Retrieving / Delete
SQL Command Execute Methods
Data Sets
Groovy On Trading Desk (2010)
Introductionary talk and tutorial on Groovy, discussion of its success and popularity, issues with the future of Java with examples
DISE - Windows Based Application Development in C#
ESOFT Metro Campus - Diploma in Software Engineering - (Module V) Windows Based Application Development in C#
(Template - Virtusa Corporate)
Contents:
Introduction to .NET Framework
.NET Framework Platform Architecture
Microsoft Visual Studio
C# Language
C#, VS and .NET Framework Versions
Your First C# Application
Printing Statements
Comments in C#
Common Type System
Value Types and Reference Type
Variables Declaration in C#
Type Conversion
Arithmetic Operators
Assignment Operators
Comparison Operators
Logical Operators
If Statement
If… Else Statement
If… Else if… Else Statement
Nested If Statement
Switch Statement
While Loop
Do While Loop
For Loop
Arrays
Accessing Arrays using foreach Loop
Two Dimensional Arrays
Classes and Objects in C#
Inheritance in C#
Partial Classes
Namespaces
Windows Forms Applications
Using Buttons, Labels and Text Boxes
Displaying Message Boxes
Error Handling with Try… Catch… finally…
Using Radio Buttons
Using Check Boxes
Using List Boxes
Creating Menus
Creating ToolStrips
MDI Forms
Database Application in C#
Creating a Simple Database Application
SQL Insert / Update / Retrieving / Delete
SQL Command Execute Methods
Data Sets
TI1220 Lecture 14: Domain-Specific Languages
The document outlines concepts covered in a programming languages course, including syntax and semantics, names and bindings, data types, functional programming, polymorphism, parsing and interpretation, modular programming, concurrency, and domain-specific languages. It also lists various languages as examples, such as Scala, JavaScript, C, and internal DSLs in languages like Haskell and Ruby. Finally, it discusses domain-specific languages and provides examples including spreadsheet formulas, query languages, graph layout languages, web languages, game scripting languages, and modeling languages.
Using the Windows 8 Runtime from C++
This document provides an overview of Metro style apps and the C++ language features for building them. It compares the architecture and frameworks of Metro style apps to desktop apps. It then summarizes key C++ language features for Metro style development including reference types, memory management, pointers, events, generics and libraries. The document promotes C++ for building high performance Metro style apps and provides examples of key language concepts.
Scala for curious
This document provides an introduction to the Scala programming language. It discusses what Scala is, how to get started, basic concepts like mutability and functions, and Scala features like classes, traits, pattern matching, and collections. Scala combines object-oriented and functional programming. It runs on the Java Virtual Machine and is compatible with Java. The document provides code examples to demonstrate Scala concepts and features.
Oop2010 Scala Presentation Stal
This presentation offers a tutorial for introducing Scala. Readers should be familiar with C++, C# or Java
What's New In C# 7
A lap around the new features in C# 7.
For a better experience, go to https://docs.com/paulo-morgado/9635/what-s-new-in-c-7
Functional Programming
This document provides an overview of functional programming concepts. It discusses why functional programming is useful for building concurrent and thread-safe applications. Key concepts explained include immutable data, first class and higher order functions, lazy evaluation, pattern matching, monads, and monoids. Code examples are provided in JavaScript and Haskell to demonstrate functional programming techniques.
Presentation of the new OpenERP API. Raphael Collet, OpenERP
The document discusses proposed changes to OpenERP's Python API to make it more object-oriented and Pythonic. Key changes include adding method decorators to define behavior, representing records as recordsets that support iteration and slicing, automatic caching and invalidation, and a new field definition syntax. The goal is to keep the API backwards compatible while improving its structure.
Accessing loosely structured data from F# and C#
Slides from my talk at GOTO 2011. The presentation discusses how to bridge the impedance mismatch between the structure used in programming languages (classes, records, unions, ...) and structure used in data sources (database schema, XML file or JSON document). The talk shows how to solve this problem at three scales - using dynamic typing, by defining structure explicitly and using F# type providers.
Google Dart
The document provides an overview of Dart, a new programming language developed by Google. It discusses Dart's goals of being a simple yet powerful language for building complex web applications. The document outlines Dart's key features such as classes, namespaces, generics and factories. It also compares static and dynamic typing approaches and discusses Dart's handling of concurrency.
Google Dart
This document provides an overview of the Dart programming language created by Google. It discusses Dart's structure as a new programming language with its own runtime environment and tools. Key features covered include Dart's static yet dynamic typing, use of classes and objects, namespaces, isolates for concurrency, and snapshots for faster startups. The document also provides code examples demonstrating Dart's syntax and how it handles concepts like generics differently than other languages like Java.
Roslyn and C# 6.0 New Features
The document discusses the new features introduced in C# 6.0. It first provides background on the evolution of C# and the .NET Compiler Platform project called Roslyn. It then outlines the major new features in C# 6.0, including auto-property enhancements, primary constructors, using static, string interpolation, expression-bodied members, declaration expressions, exception filters, binary literals with digit separators, indexed members and element initializers, await in catch/finally blocks, and null-conditional operators. It concludes with information about the presenter and a note about contacting him.
A la découverte de TypeScript
Lors de cette présentation, nous apprendrons à créer des applications Web plus rapidement et avec moins d'erreurs en utilisant un langage de programmation puissant et amusant.
Agenda
- Installer TypeScript et configurer un nouveau projet.
- Tirer avantage des types de données.
- Développer en Objets avec TypeScript
- Ecrire de meilleures fonctions
- Retrouver vos données avec LINQ
- Programmer de manière asynchrone
- Bonnes pratiques
- Avantages et inconvénients des projets TypeScript
- Conclusion et Discussion
Introduction to clojure
This document provides a summary of an introduction to the Clojure programming language. It discusses what Clojure is, its timeline and adoption, functional programming concepts, concurrency features using Software Transactional Memory, the Lisp ideology it is based on including homoiconicity and its macro system. It also provides an overview of getting started with Clojure including using the REPL, basic syntax like symbols and keywords, data types, sequences, functions, and Java interoperability. Resources for learning more about Clojure are also listed.
Scala taxonomy
The document provides an overview of Scala concepts for Java programmers, including object-oriented features, pattern matching, functional programming constructs like immutability and higher-order functions, actors and futures for concurrency, and implicits. Key concepts covered include case classes, lazy evaluation, parallel collections, currying, partial functions, and implicit parameters.
Drupaljam xl 2019 presentation multilingualism makes better programmers
A look outside of our comfort zone. Looking at Ruby, Java, Perl and Rust to see what we can learn and use in PHP and Javascript.
Presentatie .NET 4/VS2010
This document discusses new features in .NET 4.0 and Visual Studio 2010, including data services, ASP.NET, Workflow Foundation, Entity Framework, WPF, LINQ, parallel extensions, dynamic objects, C# 4.0 features like optional and named arguments, and test-driven development using Visual Studio 2010 and Team Foundation Server 2010. Demos are provided of dynamic objects, parallel extensions, and test-driven development. Information in the presentation is based on beta 1 versions of .NET 4.0 and VS2010. Contact information is provided for questions.
Similar to Ast 09 (20)
Working with Complex Types in DataFrames: Optics to the Rescue
Working with Complex Types in DataFrames: Optics to the Rescue
DISE - Windows Based Application Development in C#
DISE - Windows Based Application Development in C#
Presentation of the new OpenERP API. Raphael Collet, OpenERP
Presentation of the new OpenERP API. Raphael Collet, OpenERP
Drupaljam xl 2019 presentation multilingualism makes better programmers
Drupaljam xl 2019 presentation multilingualism makes better programmers
More from ClarkTony
The Uncertain Enterprise
This document discusses using digital twins and machine learning to achieve adaptation in uncertain systems. It provides an overview of enterprise system project failures and introduces digital twins as a new approach for design and control. It then describes a conceptual model and approach for developing digital twins for uncertain systems using goals, domain modeling, and agent-based modeling. Finally, it discusses research challenges in using this approach, including validation, verification, modeling expertise, efficiency, explainability and unknown unknowns.
Actors for Behavioural Simulation
This presentation provides an overview of decision-making in organisations and introduces a new language called ESL that uses actors to create an executable model that can be analysed. A number of small examples of ESL are shown. The presentation concludes with a larger case study that addresses the recent demonetisation event in India.
Context-Aware Content-Centric Collaborative Workflow Management for Mobile De...
This document discusses context-aware content-centric collaborative workflow management for mobile devices. It presents a use case scenario of geographically distributed collaborators using mobile devices to share content like photos. It proposes adapting workflow technology to make workflows context-aware and integrate a context-aware content lifecycle. The research aims to provide a workflow language and distributed workflow management system prototypes on Android to design, define, manage and execute such context-aware content-centric workflows.
LEAP A Language for Architecture Design, Simulation and Analysis
The document proposes LEAP, a language for architecture design, simulation and analysis. It describes key features of LEAP including components, ports, connectors, information models, behavior specification, operations, event processing and simulation capabilities. The language is intended to allow definition of system structure and behavior at a high level of abstraction through textual definitions and diagrams. Several use cases are presented to demonstrate LEAP features such as data modeling, state specification, communication between components and GUI representation.
A Common Basis for Modelling Service-Oriented and Event-Driven Architecture
This document discusses modeling service-oriented and event-driven architectures. It proposes a language-driven approach using a domain-specific modeling language for enterprise architecture that supports components, information models, invariants, business process specifications, and events. Current modeling techniques like ArchiMate, MODAF and TOGAF are described as complex, imprecise and lacking capabilities like simulation. A case study and simulation results are also mentioned but not described.
Context Aware Reactive Applications
The document discusses model-driven development approaches for context-aware reactive applications (CARA), beginning with definitions of context-aware and reactive applications, and then exploring modelling techniques like UML profiles and the widget calculus formalism for representing CARA models, with examples including a simple button model and the "Buddy" mobile phone contact application case study.
Model Slicing
The document presents a general framework for slicing programs and models. It defines a slicing framework with syntax, semantics, projections, and slicing criteria. It applies the framework to program slicing examples and proposes adapting it for model slicing. The framework is then demonstrated on a class model case study, showing how slicing can reduce models for comprehension and debugging.
Kings 120711
This document discusses XMF and XModeler. XMF is an executable modeling framework that can be used for model-driven language engineering. It includes features like meta-modeling, reflection, and code generation templates. XModeler is an Eclipse-based modeling tool built using XMF. It allows users to visually construct and edit models defined in XMF. The document outlines the history and technologies behind XMF and XModeler, describes their main features and capabilities, and discusses tool requirements and the MVC architecture used in XModeler.
Iswim for testing
This document discusses using the ISWIM (I See What You Mean) constraint representation approach for model-driven testing. It provides an overview of domains that require constraint modeling like telecommunications and aerospace. It then describes ISWIM's visual constraint language and how snapshots can represent constraints. The document outlines how a testing architecture could use an ISWIM model to generate test cases, check invariants and pre/post conditions, and report results. The approach was implemented in a tool that tests a sample sales system model.
Iswim for testing
The document discusses using the ISWIM (Integrated Semantic Web Inference Model) approach to model constraints for testing purposes in a model-driven way. It describes using ISWIM constraints represented as snapshots to specify test cases, including static scenarios, invariants and method pre/post-conditions. It then presents an example of modeling a sales system using ISWIM constraints to generate test cases for validating the system.
Mcms and ids sig
The MCMS project aims to (1) detect patterns in institutional data that indicate student retention issues, (2) develop an approach for real-time student support and intervention to address retention, and (3) provide high-quality information to support institutional decision making. The process involves using data mining to analyze student data and identify relationships between performance and factors like year of study, library usage, and nationality. Interventions are then developed based on the findings, such as emails, reports, and feedback to students and faculty. Additionally, an Intelligent Decision Support SIG is being formed to address issues around decision support technologies, data integration and sharing, and engaging stakeholders to develop a roadmap for the sector.
Ocl 09
1) The document describes a MOP-based DSL for testing Java programs using OCL specifications.
2) The DSL uses OCL pre and post conditions to specify tests in an @MSpec block, and @Test blocks to define test cases calling multiple @MSpecs.
3) The approach maps Java classes to XMF metaclasses, allowing OCL to access Java objects and invoke methods, handling different implementations like Java or EMF.
Scam 08
This document proposes an approach called Syntax Classes for defining domain-specific languages (DSLs) in an extensible way within Java. It allows new languages to be defined as classes that implement a standard interface for abstract syntax trees. This provides a modular and conservative approach to DSL definition that fully integrates new languages into the Java platform and tooling. Syntax classes provide a standardized mechanism for defining the syntax, static processing, and execution of DSL code through grammar definitions, AST manipulation, and language import capabilities. Examples of DSL constructs that could be defined include vector operations, data mapping, and entity definitions.
Reverse engineering and theory building v3
The document discusses reverse engineering through theory building. It proposes that understanding complex systems involves building theories about the domain and system aspects. These theories consist of statements and relationships that explain different views of the system. The document also presents a case study of developing theories to understand issues in a library management system and modifying the theories based on deductions from reality.
Onward presentation.en
The document discusses the concept of language factories, which aim to support the definition and construction of programming languages in a component-based way. This would allow for greater reuse of common language components, more agile language engineering, and language refactoring and analysis. Some key goals of language factories include supporting reuse of language syntax, semantics, and tools, as well as enabling flexible composition of language components to build new languages. Examples of reusable expression and measurement language components are provided.
Formalizing homogeneous language embeddings
This document discusses formalizing homogeneous language embeddings using a mu-calculus model. It proposes a model for embedding one language into another using evaluation, loading, and unloading functions. It provides examples of embedding a language into itself using fixed point operators, and using let bindings to embed one language into another. Further work is needed on parsing, static analysis, logics for combining languages, and practical considerations.
Filmstrip testing
- The document discusses model-driven testing using "filmstrips" and "snapshots" to generate test cases from models of a system. Filmstrips are sequences of snapshot patterns that represent system states.
- A case study is presented that uses extended use cases with filmstrips to test a hotel booking system. An approach to defining a domain-specific language for filmstrips is also described.
- A demo is presented of a language for testing Java applications using filmstrips to specify test cases and connect them to a Java application and test reporting.
Dsm as theory building
1. Domain Specific Modelling can be viewed as a form of theory building, where a domain is understood by developing theories about it consisting of true statements.
2. Traditionally, programming is seen as implementing a theory, but modelling languages treat the domain weakly and lack support for truly representing theories.
3. The paper proposes enhancing modelling languages to more fully support domain theories, including defining syntax, semantics, and mappings between theories and implementations.
Code gen 09 kiss results
The document outlines the goals and values of the Knowledge Industry Survival Strategy (KISS) initiative, which aims to reach consensus on fundamental principles for designing and using domain-specific languages (DSLs) and progress interoperability between tools. It presents 9 fundamental DSL design principles and 6 guidelines for DSL design. Finally, it invites readers to get involved by supporting KISS, providing examples and case studies, and developing interoperability solutions based on the presented principles and guidelines.
Cg 2011
Model driven development promised faster development, increased quality, and better maintainability through automated code generation from models. In reality, modeling tools like UML were not domain-specific enough and could not bridge the gap between problem and solution domains. True model driven engineering requires domain-specific modeling languages that support building and executing theories of the system being developed.
More from ClarkTony (20)
Context-Aware Content-Centric Collaborative Workflow Management for Mobile De...
Context-Aware Content-Centric Collaborative Workflow Management for Mobile De...
LEAP A Language for Architecture Design, Simulation and Analysis
LEAP A Language for Architecture Design, Simulation and Analysis
A Common Basis for Modelling Service-Oriented and Event-Driven Architecture
A Common Basis for Modelling Service-Oriented and Event-Driven Architecture
Recently uploaded
Skybuffer SAM4U tool for SAP license adoption
Manage and optimize your license adoption and consumption with SAM4U, an SAP free customer software asset management tool.
SAM4U, an SAP complimentary software asset management tool for customers, delivers a detailed and well-structured overview of license inventory and usage with a user-friendly interface. We offer a hosted, cost-effective, and performance-optimized SAM4U setup in the Skybuffer Cloud environment. You retain ownership of the system and data, while we manage the ABAP 7.58 infrastructure, ensuring fixed Total Cost of Ownership (TCO) and exceptional services through the SAP Fiori interface.
Dandelion Hashtable: beyond billion requests per second on a commodity server
This slide deck presents DLHT, a concurrent in-memory hashtable. Despite efforts to optimize hashtables, that go as far as sacrificing core functionality, state-of-the-art designs still incur multiple memory accesses per request and block request processing in three cases. First, most hashtables block while waiting for data to be retrieved from memory. Second, open-addressing designs, which represent the current state-of-the-art, either cannot free index slots on deletes or must block all requests to do so. Third, index resizes block every request until all objects are copied to the new index. Defying folklore wisdom, DLHT forgoes open-addressing and adopts a fully-featured and memory-aware closed-addressing design based on bounded cache-line-chaining. This design offers lock-free index operations and deletes that free slots instantly, (2) completes most requests with a single memory access, (3) utilizes software prefetching to hide memory latencies, and (4) employs a novel non-blocking and parallel resizing. In a commodity server and a memory-resident workload, DLHT surpasses 1.6B requests per second and provides 3.5x (12x) the throughput of the state-of-the-art closed-addressing (open-addressing) resizable hashtable on Gets (Deletes).
Harnessing the Power of NLP and Knowledge Graphs for Opioid Research
Gursev Pirge, PhD
Senior Data Scientist - JohnSnowLabs
Essentials of Automations: Exploring Attributes & Automation Parameters
Building automations in FME Flow can save time, money, and help businesses scale by eliminating data silos and providing data to stakeholders in real-time. One essential component to orchestrating complex automations is the use of attributes & automation parameters (both formerly known as “keys”). In fact, it’s unlikely you’ll ever build an Automation without using these components, but what exactly are they?
Attributes & automation parameters enable the automation author to pass data values from one automation component to the next. During this webinar, our FME Flow Specialists will cover leveraging the three types of these output attributes & parameters in FME Flow: Event, Custom, and Automation. As a bonus, they’ll also be making use of the Split-Merge Block functionality.
You’ll leave this webinar with a better understanding of how to maximize the potential of automations by making use of attributes & automation parameters, with the ultimate goal of setting your enterprise integration workflows up on autopilot.
Crafting Excellence: A Comprehensive Guide to iOS Mobile App Development Serv...
Crafting Excellence: A Comprehensive Guide to iOS Mobile App Development Serv...Pitangent Analytics & Technology Solutions Pvt. Ltd
Discover top-tier mobile app development services, offering innovative solutions for iOS and Android. Enhance your business with custom, user-friendly mobile applications.GraphRAG for LifeSciences Hands-On with the Clinical Knowledge Graph
Tomaz Bratanic
Graph ML and GenAI Expert - Neo4j
Connector Corner: Seamlessly power UiPath Apps, GenAI with prebuilt connectors
Join us to learn how UiPath Apps can directly and easily interact with prebuilt connectors via Integration Service--including Salesforce, ServiceNow, Open GenAI, and more.
The best part is you can achieve this without building a custom workflow! Say goodbye to the hassle of using separate automations to call APIs. By seamlessly integrating within App Studio, you can now easily streamline your workflow, while gaining direct access to our Connector Catalog of popular applications.
We’ll discuss and demo the benefits of UiPath Apps and connectors including:
Creating a compelling user experience for any software, without the limitations of APIs.
Accelerating the app creation process, saving time and effort
Enjoying high-performance CRUD (create, read, update, delete) operations, for
seamless data management.
Speakers:
Russell Alfeche, Technology Leader, RPA at qBotic and UiPath MVP
Charlie Greenberg, host
Leveraging the Graph for Clinical Trials and Standards
Katja Glaß
OpenStudyBuilder Community Manager - Katja Glaß Consulting
Marius Conjeaud
Principal Consultant - Neo4j
5th LF Energy Power Grid Model Meet-up Slides
5th Power Grid Model Meet-up
It is with great pleasure that we extend to you an invitation to the 5th Power Grid Model Meet-up, scheduled for 6th June 2024. This event will adopt a hybrid format, allowing participants to join us either through an online Mircosoft Teams session or in person at TU/e located at Den Dolech 2, Eindhoven, Netherlands. The meet-up will be hosted by Eindhoven University of Technology (TU/e), a research university specializing in engineering science & technology.
Power Grid Model
The global energy transition is placing new and unprecedented demands on Distribution System Operators (DSOs). Alongside upgrades to grid capacity, processes such as digitization, capacity optimization, and congestion management are becoming vital for delivering reliable services.
Power Grid Model is an open source project from Linux Foundation Energy and provides a calculation engine that is increasingly essential for DSOs. It offers a standards-based foundation enabling real-time power systems analysis, simulations of electrical power grids, and sophisticated what-if analysis. In addition, it enables in-depth studies and analysis of the electrical power grid’s behavior and performance. This comprehensive model incorporates essential factors such as power generation capacity, electrical losses, voltage levels, power flows, and system stability.
Power Grid Model is currently being applied in a wide variety of use cases, including grid planning, expansion, reliability, and congestion studies. It can also help in analyzing the impact of renewable energy integration, assessing the effects of disturbances or faults, and developing strategies for grid control and optimization.
What to expect
For the upcoming meetup we are organizing, we have an exciting lineup of activities planned:
-Insightful presentations covering two practical applications of the Power Grid Model.
-An update on the latest advancements in Power Grid -Model technology during the first and second quarters of 2024.
-An interactive brainstorming session to discuss and propose new feature requests.
-An opportunity to connect with fellow Power Grid Model enthusiasts and users.
Programming Foundation Models with DSPy - Meetup Slides
Prompting language models is hard, while programming language models is easy. In this talk, I will discuss the state-of-the-art framework DSPy for programming foundation models with its powerful optimizers and runtime constraint system.
Your One-Stop Shop for Python Success: Top 10 US Python Development Providers
Simplify your search for a reliable Python development partner! This list presents the top 10 trusted US providers offering comprehensive Python development services, ensuring your project's success from conception to completion.
Energy Efficient Video Encoding for Cloud and Edge Computing Instances
Energy Efficient Video Encoding for Cloud and Edge Computing Instances
Main news related to the CCS TSI 2023 (2023/1695)
An English 🇬🇧 translation of a presentation to the speech I gave about the main changes brought by CCS TSI 2023 at the biggest Czech conference on Communications and signalling systems on Railways, which was held in Clarion Hotel Olomouc from 7th to 9th November 2023 (konferenceszt.cz). Attended by around 500 participants and 200 on-line followers.
The original Czech 🇨🇿 version of the presentation can be found here: https://www.slideshare.net/slideshow/hlavni-novinky-souvisejici-s-ccs-tsi-2023-2023-1695/269688092 .
The videorecording (in Czech) from the presentation is available here: https://youtu.be/WzjJWm4IyPk?si=SImb06tuXGb30BEH .
What is an RPA CoE? Session 1 – CoE Vision
In the first session, we will review the organization's vision and how this has an impact on the COE Structure.
Topics covered:
• The role of a steering committee
• How do the organization’s priorities determine CoE Structure?
Speaker:
Chris Bolin, Senior Intelligent Automation Architect Anika Systems
AppSec PNW: Android and iOS Application Security with MobSF
Mobile Security Framework - MobSF is a free and open source automated mobile application security testing environment designed to help security engineers, researchers, developers, and penetration testers to identify security vulnerabilities, malicious behaviours and privacy concerns in mobile applications using static and dynamic analysis. It supports all the popular mobile application binaries and source code formats built for Android and iOS devices. In addition to automated security assessment, it also offers an interactive testing environment to build and execute scenario based test/fuzz cases against the application.
This talk covers:
Using MobSF for static analysis of mobile applications.
Interactive dynamic security assessment of Android and iOS applications.
Solving Mobile app CTF challenges.
Reverse engineering and runtime analysis of Mobile malware.
How to shift left and integrate MobSF/mobsfscan SAST and DAST in your build pipeline.
Fueling AI with Great Data with Airbyte Webinar
This talk will focus on how to collect data from a variety of sources, leveraging this data for RAG and other GenAI use cases, and finally charting your course to productionalization.
Digital Banking in the Cloud: How Citizens Bank Unlocked Their Mainframe
Inconsistent user experience and siloed data, high costs, and changing customer expectations – Citizens Bank was experiencing these challenges while it was attempting to deliver a superior digital banking experience for its clients. Its core banking applications run on the mainframe and Citizens was using legacy utilities to get the critical mainframe data to feed customer-facing channels, like call centers, web, and mobile. Ultimately, this led to higher operating costs (MIPS), delayed response times, and longer time to market.
Ever-changing customer expectations demand more modern digital experiences, and the bank needed to find a solution that could provide real-time data to its customer channels with low latency and operating costs. Join this session to learn how Citizens is leveraging Precisely to replicate mainframe data to its customer channels and deliver on their “modern digital bank” experiences.
Driving Business Innovation: Latest Generative AI Advancements & Success Story
Are you ready to revolutionize how you handle data? Join us for a webinar where we’ll bring you up to speed with the latest advancements in Generative AI technology and discover how leveraging FME with tools from giants like Google Gemini, Amazon, and Microsoft OpenAI can supercharge your workflow efficiency.
During the hour, we’ll take you through:
Guest Speaker Segment with Hannah Barrington: Dive into the world of dynamic real estate marketing with Hannah, the Marketing Manager at Workspace Group. Hear firsthand how their team generates engaging descriptions for thousands of office units by integrating diverse data sources—from PDF floorplans to web pages—using FME transformers, like OpenAIVisionConnector and AnthropicVisionConnector. This use case will show you how GenAI can streamline content creation for marketing across the board.
Ollama Use Case: Learn how Scenario Specialist Dmitri Bagh has utilized Ollama within FME to input data, create custom models, and enhance security protocols. This segment will include demos to illustrate the full capabilities of FME in AI-driven processes.
Custom AI Models: Discover how to leverage FME to build personalized AI models using your data. Whether it’s populating a model with local data for added security or integrating public AI tools, find out how FME facilitates a versatile and secure approach to AI.
We’ll wrap up with a live Q&A session where you can engage with our experts on your specific use cases, and learn more about optimizing your data workflows with AI.
This webinar is ideal for professionals seeking to harness the power of AI within their data management systems while ensuring high levels of customization and security. Whether you're a novice or an expert, gain actionable insights and strategies to elevate your data processes. Join us to see how FME and AI can revolutionize how you work with data!
The Microsoft 365 Migration Tutorial For Beginner.pptx
This presentation will help you understand the power of Microsoft 365. However, we have mentioned every productivity app included in Office 365. Additionally, we have suggested the migration situation related to Office 365 and how we can help you.
You can also read: https://www.systoolsgroup.com/updates/office-365-tenant-to-tenant-migration-step-by-step-complete-guide/
Recently uploaded (20)
Dandelion Hashtable: beyond billion requests per second on a commodity server
Dandelion Hashtable: beyond billion requests per second on a commodity server
Harnessing the Power of NLP and Knowledge Graphs for Opioid Research
Harnessing the Power of NLP and Knowledge Graphs for Opioid Research
Essentials of Automations: Exploring Attributes & Automation Parameters
Essentials of Automations: Exploring Attributes & Automation Parameters
Crafting Excellence: A Comprehensive Guide to iOS Mobile App Development Serv...
Crafting Excellence: A Comprehensive Guide to iOS Mobile App Development Serv...
GraphRAG for LifeSciences Hands-On with the Clinical Knowledge Graph
GraphRAG for LifeSciences Hands-On with the Clinical Knowledge Graph
Connector Corner: Seamlessly power UiPath Apps, GenAI with prebuilt connectors
Connector Corner: Seamlessly power UiPath Apps, GenAI with prebuilt connectors
Leveraging the Graph for Clinical Trials and Standards
Leveraging the Graph for Clinical Trials and Standards
Programming Foundation Models with DSPy - Meetup Slides
Programming Foundation Models with DSPy - Meetup Slides
Your One-Stop Shop for Python Success: Top 10 US Python Development Providers
Your One-Stop Shop for Python Success: Top 10 US Python Development Providers
Energy Efficient Video Encoding for Cloud and Edge Computing Instances
Energy Efficient Video Encoding for Cloud and Edge Computing Instances
AppSec PNW: Android and iOS Application Security with MobSF
AppSec PNW: Android and iOS Application Security with MobSF
9 CEO's who hit $100m ARR Share Their Top Growth Tactics Nathan Latka, Founde...
9 CEO's who hit $100m ARR Share Their Top Growth Tactics Nathan Latka, Founde...
Digital Banking in the Cloud: How Citizens Bank Unlocked Their Mainframe
Digital Banking in the Cloud: How Citizens Bank Unlocked Their Mainframe
Driving Business Innovation: Latest Generative AI Advancements & Success Story
Driving Business Innovation: Latest Generative AI Advancements & Success Story
The Microsoft 365 Migration Tutorial For Beginner.pptx
The Microsoft 365 Migration Tutorial For Beginner.pptx
Ast 09
- 1. Model Based Functional Testing using Pattern Directed Filmstrips Tony Clark Centre for Model Driven Software Engineering Thames Valley University tony.clark@tvu.ac.uk 1
- 2. Overview Industry likes using models. Tests as part of requirements is a good idea. Industry does not like scary stuff. Can modelling: Incorporate testing. Make tests more diagrammatic. Be more exemplar-based. Do more stuff with use cases. 2
- 4. Behaviour 4
- 5. Testing Behaviour – Wood from Trees class TestSalesSystem extends TestCase { private s = new SalesSystem(); public void testAddContact() { String name = “fredjones”; s.contact(name); boolean added = false; for(Person p : s.contactsDB().getPeople()) if(p.getCID().equals(name)) added = true; AssertTrue(name + “ not added”,added); } ... } 5
- 6. Testing Behaviour – Scary! context SalesSystem::contact(name:String) pre: not contactsDB.people->exists(p | p.name = name) post: contactsDB.people->exists(p | p.name = name) 6
- 7. Model Driven Testing 7
- 9. Snapshots: AccountsHaveCustomers snapshotAccountsHaveCustomers {object:SalesSystem { accounts = object:AccountsSystem { accounts forall {rootobject:Account { cid = ?cobject ?o:Customer { cid = ?c } } } orderSystem =object:OrderSystem { customers exists {root?o:Customer { } object } }} 9
- 10. Language – Text matches Graphics F ::= let V = S in F local defs | always S { F } invariants | F F sequences | F* repetition | step Op pre S post S steps Op ::= V(E*) operations S ::= S and S logical and | S or S logical or | not S logical not | S[V/V] renaming | snapshot B snapshots B ::= { ([root]O)* } object sets O ::= object [V]:T { (Q|F)* } objects Q ::= V (forall | exists) B quantification F ::= V (= | <>) E slots E ::= V | Int | Str | Bool | O values 10
- 11. Example letAccountsHaveCustomers = ...UniqueIds = ... inalwaysAccountsHaveCustomersandUniqueIds { (step contact(?id:String)pre snapshot {rootobject:SalesSystem {contactsDB = object:ContactsDB { people forall {rootobject:Person { cid <> ?id } } } } postsnapshot {rootobject:SalesSystem {contactsDB =object:ContactsDB { people exists {rootobject:Person { cid = ?id } } } } ... ship, register and placeOrder)*} 11
- 12. Demonstration DSL for testing in XMF Run against SalesSystem in Java Caveats: Filmstrip language OCL for snapshots (not this demo) No implementation mapping. 12
- 13. Conclusion Extend UML for model based testing: Filmstrips (based on use cases) Snapshot patterns (based on object models) Semantics: sequences of object models. Testing: Generate candidate filmstrips Run against SUT (after implementation mapping) 13